On termination of constraint logic programs (1995)

Cached

Download Links

by Livio Colussi , Elena Marchiori , Massimo Marchiori
Venue:In Proc. CP'95, LNCS 976
Citations:13 - 2 self