On compact representations of propositional circumscription. (1997)

by M Cadoli, F M Donini, M Schaerf, R Silvestri
Venue:Theoretical Computer Science,