Comparison of Theorem Provers for Modal Logics - Introduction and Summary.

Peter Balsiger, Alain Heuerding

Browse the full TABLEAUX paper archive.