Complexity results for nonmonotonic logics (1992)

by G Gottlob
Venue:Journal of Logic and Computation