A Note on the Stable Model Semantics for Logic Programs. (Research Note).

Michael Kaminski A Note on the Stable Model Semantics for Logic Programs. (Research Note). 467-479 1997 96 Artif. Intell. 2 db/journals/ai/ai96.html#Kaminski97 http://dx.doi.org/10.1016/S0004-3702(97)00058-1