Spartacus: A Tableau Prover for Hybrid Logic. - Daniel Götzmann; Mark Kaminski; Gert Smolka (M4M, 2009)