Inference of Well-Typings for Logic Programs with Application to Termination Analysis.

Maurice Bruynooghe, John P. Gallagher, Wouter Van Humbeeck

Browse the full SAS paper archive.