On Proof Complexity of Circumscription.

Uwe Egly, Hans Tompits

Browse the full TABLEAUX paper archive.