A Differential Evaluation of Fixpoint Iterations.

Published in: APLAS (2001)

Keyphrases

fixpoint
logic programs
deductive databases
finite state machines
integrity constraints
answer sets
datalog programs
recursive queries
proof theoretic