A non-termination criterion for binary constraint logic programs

Étienne Payet, Frédéric Mesnard. A non-termination criterion for binary constraint logic programs. TPLP, 9(2):145-164, 2009. [doi]

Abstract

Abstract is missing.