On Compact Representations of Propositional Circumscription.

Marco Cadoli, Francesco M. Donini, Marco Schaerf

Browse the full STACS paper archive.