Title: A fixpoint theory of nonmonotonic functions and its applications to logic programs, deductive databases and production rule systems /
Authors: Zhou, Yuli.
Year: 1991
Subjects: Functions; Logic programming.; Deductive databases