A Transformation System for Definite Programs Based on Termination Analysis.

J. Cook, John P. Gallagher

Browse the full LOPSTR paper archive.