Ulrich Zukowski, Burkhard Freitag
Well-founded Semantics by Transformation: The Non-ground Case
ICLP, 1999.
@inproceedings{ICLP-1999-ZukowskiF, author = "Ulrich Zukowski and Burkhard Freitag", booktitle = "{Proceedings of the 15th International Conference on Logic Programming}", isbn = "0-262-54104-1", pages = "456--470", publisher = "{MIT Press}", title = "{Well-founded Semantics by Transformation: The Non-ground Case}", year = 1999, }