Ulrich Zukowski Burkhard Freitag The Differential Fixpoint of General Logic Programs. 45-56 1996 DDLP db/conf/deductive/deductive96.html#ZukowskiF96