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.