de Nivelle, Hans Programming Logics, MPI for Informatics, Max Planck Society;
de Nivelle, H., Blackburn, P., Bos, J., & Kohlhase, M. (2001). Inference and Computational Semantics. Studies in Linguistics and Philosophy, Computing Meaning, 77(2), 11-28.