de Nivelle, H.(2005). Using resolution as a decision procedure (MPI-I-2005-2-003). Saarbrücken: Max-Planck-Institut für Informatik.