Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse.

Mark Kaminski Gert Smolka Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse. 210-225 2008 IJCAR http://dx.doi.org/10.1007/978-3-540-71070-7_18 conf/cade/2008 db/conf/cade/ijcar2008.html#KaminskiS08