A Survey of Complexity Results for Non-monotonic Logics (1993)

by M Cadoli, M Schaerf
Venue:Journal of Logic Programming