A General Theorem Prover for Quantified Modal Logics.

Virginie Thion, Serenella Cerrito, Marta Cialdea Mayer

Browse the full TABLEAUX paper archive.