de Nivelle, Hans Programming Logics, MPI for Informatics, Max Planck Society;
Areces, C., de Rijke, M., & de Nivelle, H. (2001). Resolution in modal, description and hybrid logic. Journal of Logic and Computation, 11, 717-736.