Spartacus: A Tableau Prover for Hybrid Logic
(pdf)
Daniel Götzmann, Mark Kaminski, Gert Smolka
M4M-6
Spartacus: A Tableau Prover for Hybrid Logic
(pdf)
Daniel Götzmann
M.Sc. Thesis, Programming Systems Lab, Department of Computer Science, Saarland University