de Nivelle, Hans Programming Logics, MPI for Informatics, Max Planck Society;
de Nivelle, H., & de Rijke, M. (2003). Deciding the Guarded Fragments by Resolution. Journal of Symbolic Computation, 35, 21-58.