The Stable Models of a Predicate Logic Program (1992)

Cached

Download Links

by V. Wiktor Marek , Anil Nerode , Jeffrey B. Remmel
Venue:Journal of Logic Programming
Citations:35 - 13 self