Yuli Zhou

• A fixpoint theory of nonmonotonic functions and its applications to logic programs, deductive databases and production rule systems