Reuse of Results in Termination Analysis of Typed Logic Programs.

Maurice Bruynooghe, Michael Codish, Samir Genaim, Wim Vanhoof

Browse the full SAS paper archive.