Carlos Areces, Maarten de Rijke, Hans de Nivelle. Resolution in Modal, Description and Hybrid Logic. Journal of Logic and Computation, 11(5):717-736, 2001. [doi]
@article{ArecesRN01,
title = {Resolution in Modal, Description and Hybrid Logic},
author = {Carlos Areces and Maarten de Rijke and Hans de Nivelle},
year = {2001},
url = {http://www3.oup.co.uk/logcom/hdb/Volume_11/Issue_05/110717.sgm.abs.html},
tags = {modal logic, logic},
researchr = {https://researchr.org/publication/ArecesRN01},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {11},
number = {5},
pages = {717-736},
}