de Nivelle, Hans Programming Logics, MPI for Informatics, Max Planck Society;
de Nivelle, H., Bezem, M., & Hendriks, D. (2000). Automated Proof Construction in Type Theory Using Resolution. In D. McAllester (Ed.), Proceedings of the 17th International Conference on Automated Deduction (CADE-17) (pp. 148-163). Berlin, Germany: Springer.