de Nivelle, Hans Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-2005-2-003.pdf (beliebiger Volltext), 949KB
de Nivelle, H.(2005). Using resolution as a decision procedure (MPI-I-2005-2-003). Saarbrücken: Max-Planck-Institut für Informatik.