de Nivelle, Hans Programming Logics, MPI for Informatics, Max Planck Society;
de Nivelle, H., & Schulz, S. (Eds.). (2001). Proceedings of the 2nd International Workshop on the Implementation of Logics. Saarbrücken, Germany: Max-Planck-Institut für Informatik.