Étienne Payet, Frédéric Mesnard. An Improved Non-Termination Criterion for Binary Constraint Logic Programs. In Alexander Serebrenik, Susana Muñoz-Hernández, editors, Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), October 5, 2005. pages 46-60, 2005. [doi]
Abstract is missing.