Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux.

Fabio Massacci

Browse the full TABLEAUX paper archive.