On Proving Left Termination of Constraint Logic Programs (2001)

View PDF

Download Links

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