@inproceedings{JICSLP-1992-MarekNR,
	author        = "V. Wiktor Marek and Anil Nerode and Jeffrey B. Remmel",
	booktitle     = "{Proceedings of the Joint International Ninth Conference and Symposium on Logic Programming}",
	isbn          = "0-262-51064-2",
	pages         = "446--460",
	publisher     = "{MIT Press}",
	title         = "{The Stable Models of a Predicate Logic Program}",
	year          = 1992,
}