A survey of complexity results for nonmonotonic logics (1993)

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