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

Mark Kaminski, Gert Smolka

Browse the full CADE paper archive.