DMCA

A transformation system for definite programs based on termination analysis (1994)

Cached

Download Links

by J. Cook , J. P. Gallagher
Venue:Proceedings of LOPSTR'94 and META'94, Pisa, Italy, LNCS 883
Citations:14 - 0 self