Transforming left-terminating programs: The reordering problem (1996)

by A Bossi, N Cocco, S Etalle
Venue:In Logic Program Synthesis and Transformation, Proceedings LoPSTr ’95, Utrecht, The Netherlands, M. Proietti, Ed. Lecture Notes in Computer Science 1048