Thom W. Frühwirth. Proving Termination of Constraint Solver Programs. In Krzysztof R. Apt, Antonis C. Kakas, Eric Monfroy, Francesca Rossi, editors, New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers. Volume 1865 of Lecture Notes in Computer Science, pages 298-317, Springer, 1999. [doi]
Abstract is missing.