V. Wiktor Marek Anil Nerode Jeffrey B. Remmel The Stable Models of a Predicate Logic Program. 129-153 1994 21 J. Log. Program. 3 db/journals/jlp/jlp21.html#MarekNR94