Title: A fixpoint theory of nonmonotonic functions and its applications to logic programs, deductive databases and production rule systems
Subjects: Functions, Logic programming, Deductive databases