de Nivelle, Hans Programming Logics, MPI for Informatics, Max Planck Society;
de Nivelle, H., Areces, C., & de Rijke, M. (1999). Prefixed Resolution: A Resolution Method for Modal and Description Logics. In H. Ganzinger (Ed.), Proceedings of the 16th International Conference on Automated Deduction (CADE-16) (pp. 187-201). Berlin, Germany: Springer.