Yong Hu, Li-Yan Yuan
Extended Well-Founded Model Semantics for General Logic Programs
ICLP, 1991.
@inproceedings{ICLP-1991-HuY, author = "Yong Hu and Li-Yan Yuan", booktitle = "{Proceedings of the Eighth International Conference on Logic Programming}", isbn = "0-262-56058-5", pages = "412--425", publisher = "{MIT Press}", title = "{Extended Well-Founded Model Semantics for General Logic Programs}", year = 1991, }