de Nivelle, Hans Programming Logics, MPI for Informatics, Max Planck Society;
de Nivelle, H. (2000). An Overview of Resolution Decision Procedures. In M. Faller, S. Kaufmann, & M. Pauly (Eds.), Formalizing the Dynamics of Information (pp. 115-130). Stanford, USA: Center for the Study of Language and Information.