On Proving Left Termination of Constraint Logic Programs (2001)

Cached

Download Links

by Fred Mesnard , Salvatore Ruggieri
Venue:ACM Transaction on Computational Logic
Citations:17 - 7 self