Inference of Well-Typings for Logic Programs with Application to Termination Analysis. - Maurice Bruynooghe; John P. Gallagher; Wouter Van Humbeeck (SAS, 2005)