Delzanno, G., & Podelski, A.(1998). Model checking infinite-state systems in CLP (MPI-I-1998-2-012). Saarbrücken: Max-Planck-Institut für Informatik.