Experiments in Theorem Proving for Topological Hybrid Logic.

Dmitry Sustretov Guillaume Hoffmann Carlos Areces Patrick Blackburn Experiments in Theorem Proving for Topological Hybrid Logic. 309-321 2009 231 Electr. Notes Theor. Comput. Sci. http://dx.doi.org/10.1016/j.entcs.2009.02.043 db/journals/entcs/entcs231.html#SustretovHAB09