The Stable Model Semantics for Logic Programming. Gelfond, M & Lifschitz, V In Proceedings of the 5th International Conference and Symposium on Logic Programming (Seattle, Washington), pages 1070–1080, New York, 1988. IEEE.
bibtex   
@inproceedings{Gelfond/Lifschitz:88,
	address = {New York},
	title = {The {Stable} {Model} {Semantics} for {Logic} {Programming}},
	booktitle = {Proceedings of the 5th {International} {Conference} and {Symposium} on {Logic} {Programming} ({Seattle}, {Washington})},
	publisher = {IEEE},
	author = {Gelfond, M and Lifschitz, V},
	year = {1988},
	pages = {1070--1080},
}

Downloads: 0