A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules.

Valentin Cassano, Carlos Gustavo Lpez Pombo, Thomas Stephen Edward Maibaum

Browse the full TABLEAUX paper archive.