On Termination of Constraint Logic Programs

Livio Colussi, Elena Marchiori, Massimo Marchiori. On Termination of Constraint Logic Programs. In Ugo Montanari, Francesca Rossi, editors, Principles and Practice of Constraint Programming - CP 95, First International Conference, CP 95, Cassis, France, September 19-22, 1995, Proceedings. Volume 976 of Lecture Notes in Computer Science, pages 431-448, Springer, 1995.

Abstract

Abstract is missing.