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

Maurice Bruynooghe John P. Gallagher Wouter Van Humbeeck Inference of Well-Typings for Logic Programs with Application to Termination Analysis. 35-51 2005 conf/sas/2005 SAS http://dx.doi.org/10.1007/11547662_5 db/conf/sas/sas2005.html#BruynoogheGH05