Giorgio Delzanno Andreas Podelski Verification of Infinite-State Systems in Constraint Logic Programming. 13-22 1999 conf/jfplc/1999 JFPLC db/conf/jfplc/jfplc1999.html#DelzannoP99