Teodor C. Przymusinski
Well-Founded Completions of Logic Programs
ICLP, 1991.
@inproceedings{ICLP-1991-Przymusinski, author = "Teodor C. Przymusinski", booktitle = "{Proceedings of the Eighth International Conference on Logic Programming}", isbn = "0-262-56058-5", pages = "726--741", publisher = "{MIT Press}", title = "{Well-Founded Completions of Logic Programs}", year = 1991, }