The complexity of propositional default reasoning under the stationary semantics (1992)

by G Gottlob
Venue:Institut fur Informationssysteme, Technische Univ., A-1040