A Theorem Prover for Lukaszewicz' Open Default Theory.

Pascal Nicolas, Batrice Duval

Browse the full ECSQARU paper archive.