Areces, C., Nivelle, H. d., & Rijke, M. d. (1999). Prefixed resolution: A resolution method for modal and description logics. Inst. for Logic, Language and Computation.
Chicago-Zitierstil (17. Ausg.)Areces, Carlos, Hans de Nivelle, und Maarten de Rijke. Prefixed Resolution: A Resolution Method for Modal and Description Logics. Amsterdam: Inst. for Logic, Language and Computation, 1999.
MLA-Zitierstil (9. Ausg.)Areces, Carlos, et al. Prefixed Resolution: A Resolution Method for Modal and Description Logics. Inst. for Logic, Language and Computation, 1999.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.