@misc{indiciae350014754337, title = {An Improved Non-Termination Criterion for Binary Constraint Logic Programs}, author = {Etienne Payet and Fred Mesnard}, year = {2005}, url = {https://arxiv.org/abs/cs/0508106}, note = {Source identifier: cs/0508106} }