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,
}











