de Nivelle, Hans Programming Logics, MPI for Informatics, Max Planck Society;
Pratt-Hartmann, Ian Programming Logics, MPI for Informatics, Max Planck Society;
de Nivelle, H., & Pratt-Hartmann, I. (2001). A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality. In R. Goré, A. Leitsch, & T. Nipkow (Eds.), Automated reasoning: First International Joint Conference, IJCAR 2001 (pp. 211-225). Berlin, Germany: Springer.