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

Ulrich Zukowski, Burkhard Freitag

Browse the full ICLP paper archive.