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

Ulrich Zukowski, Burkhard Freitag. Well-founded Semantics by Transformation: The Non-ground Case. In ICLP. pages 456-470, 1999.

Abstract

Abstract is missing.