On proving left termination of constraint logic programs (0)

by F MESNARD, S RUGGIERI
Venue:ACM Transaction on Computational Logic