Prefixed resolution a resolution method for modal and description logics - Areces, Carlos; Nivelle, Hans de 1967-; Rijke, Maarten de (Logic, philosophy and linguistics series] Instituut voor Taal, Logica en Informatie <Amsterdam>: [ILLC research report and technical notes series, 1999)