On Termination of Binary CLP Programs

Alexander Serebrenik, Frédéric Mesnard. On Termination of Binary CLP Programs. In Sandro Etalle, editor, Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers. Volume 3573 of Lecture Notes in Computer Science, pages 231-244, Springer, 2004. [doi]


Alexander Serebrenik

Identified as Alexander Serebrenik

Frédéric Mesnard

Identified as Frédéric Mesnard
(Universite de la Reunion