A new means of ensuring termination of deforestation with an application to logic programming (1993)

by M H Srensen
Venue:In Workshop of the Global Compilation Workshop in conjunction with the International Logic Programming Symposium