1. Abstract interpretation: A unified framework for static analysis of programs by construction of approximation of fixpoints;Cousot,1977
2. Combined determination of sharing and freeness of program variables through abstract interpretation;Mutukumar,1991
3. On the design of a correct freeness analysis for logic programs;Codish;The Journal of Logic Programming,1996
4. A. Bossi, N. Cocco, Programs without failures, in: N. Fuchs (Ed.). Proceedings of the 7th Logic Programming Synthesis and Transformation LOPSTR97, Leuven, Belgium, LNCS, Springer, Berlin, to appear.
5. Non-Failure analysis for logic programs;Debray,1997