A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation.

Maurice Bruynooghe, Bart Demoen, Dmitri Boulanger, Marc Denecker, Anne Mulkers

Browse the full SAS paper archive.