On Termination of Constraint Logic Programs (1995)

by L Colussi, E Marchiori, M Marchiori
Venue:1st Intl Conf on Principles and Practice of Constraint Programming (PPCP'95