Spartacus: A Tableau Prover for Hybrid Logic

Cite this paper

@article{Gtzmann2010SpartacusAT, title={Spartacus: A Tableau Prover for Hybrid Logic}, author={Daniel G{\"{o}tzmann and Mark Kaminski and Gert Smolka}, journal={Electr. Notes Theor. Comput. Sci.}, year={2010}, volume={262}, pages={127-139} }