Reasoning about Stable Models (and Other Unstable Semantics) (1990)

by Michael J. Maher
Venue:Technical Report, IBM Thomas J. Watson Research
Citations:4 - 1 self