The Stable Model Semantics for Logic Programming.

Michael Gelfond Vladimir Lifschitz The Stable Model Semantics for Logic Programming. 1070-1080 1988 ICLP/SLP db/conf/iclp/iclp88.html#GelfondL88