The Stable Models of a Predicate Logic Program (1994)

by W Marek, A Nerode, J Remmel
Venue:Journal of Logic Programming