Well-founded Semantics by Transformation: The Non-ground Case.

Ulrich Zukowski Burkhard Freitag Well-founded Semantics by Transformation: The Non-ground Case. 456-470 1999 ICLP db/conf/iclp/iclp99.html#ZukowskiF99