Terminating tableaux for hybrid logic with the difference modality and converse (2008)

by Mark Kaminski, Gert Smolka
Venue:IJCAR 2008, volume 5195 of LNCS (LNAI