Simplification Rules for Constrained Formula Tableaux.

Martin Giese

Browse the full TABLEAUX paper archive.