Areces, Carlos; de Rijke, Maarten; de Nivelle, Hans Resolution in modal, description and hybrid logic. (English) Zbl 0993.03007 J. Log. Comput. 11, No. 5, 717-736 (2001). Reviewer: Alfredo Burrieza Muñiz (Málaga) MSC: 03B35 03B45 68T27 PDFBibTeX XMLCite \textit{C. Areces} et al., J. Log. Comput. 11, No. 5, 717--736 (2001; Zbl 0993.03007) Full Text: DOI
Areces, Carlos; de Nivelle, Hans; de Rijke, Maarten Prefixed resolution. A resolution method for modal and description logics. (English) Zbl 0937.03014 Ganzinger, Harald (ed.), Automated deduction - CADE-16. 16th international conference, Trento, Italy, July 7-10, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1632, 187-201 (1999). MSC: 03B35 03B45 PDFBibTeX XMLCite \textit{C. Areces} et al., Lect. Notes Comput. Sci. 1632, 187--201 (1999; Zbl 0937.03014)