![](/img/cover-not-exists.png)
The Stable Models of a Predicate Logic Program
Marek, V. Wiktor, Nerode, Anil, Remmel, Jeffrey B.Volume:
21
Language:
english
Journal:
The Journal of Logic Programming
DOI:
10.1016/S0743-1066(14)80008-3
Date:
November, 1994
File:
PDF, 1.76 MB
english, 1994