Patrick Blackburn, Maarten Marx. Tableaux for Quantified Hybrid Logic. In Uwe Egly, Christian G. Fermüller, editors, Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002, Proceedings. Volume 2381 of Lecture Notes in Computer Science, pages 38-52, Springer, 2002. [doi]
@inproceedings{BlackburnM02:0,
title = {Tableaux for Quantified Hybrid Logic},
author = {Patrick Blackburn and Maarten Marx},
year = {2002},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2381&spage=0038},
tags = {logic},
researchr = {https://researchr.org/publication/BlackburnM02%3A0},
cites = {0},
citedby = {0},
pages = {38-52},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002, Proceedings},
editor = {Uwe Egly and Christian G. Fermüller},
volume = {2381},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43929-3},
}