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

Maurice Bruynooghe Bart Demoen Dmitri Boulanger Marc Denecker Anne Mulkers A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation. 128-142 1996 conf/sas/1996 SAS db/conf/sas/sas96.html#BruynoogheDBDM96 http://dx.doi.org/10.1007/3-540-61739-6_38