Torben Braüner. Why does the proof-theory of hybrid logic work so well?. Journal of Applied Non-Classical Logics, 17(4):521-543, 2007. [doi]
@article{Brauner07,
title = {Why does the proof-theory of hybrid logic work so well?},
author = {Torben Braüner},
year = {2007},
url = {http://jancl.e-revues.com/article.jsp?articleId=11130},
tags = {logic},
researchr = {https://researchr.org/publication/Brauner07},
cites = {0},
citedby = {0},
journal = {Journal of Applied Non-Classical Logics},
volume = {17},
number = {4},
pages = {521-543},
}