Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference.

Mark Kaminski, Gert Smolka

Browse the full LPAR paper archive.