François Fages
A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics
ICLP, 1990.
@inproceedings{CLP-1990-Fages90, author = "François Fages", booktitle = "{Proceedings of the Seventh International Conference on Logic Programming}", isbn = "0-262-73090-1", pages = "441--458", publisher = "{MIT Press}", title = "{A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics}", year = 1990, }