Propositional Logics on the Computer.

Alain Heuerding, Gerhard Jger, Stefan Schwendimann, Michael Seyfried

Browse the full TABLEAUX paper archive.