A survey of complexity results for nonmonotonic logics (1993)

by M Cadoli, M Schaerf
Venue:J. Log. Program