Accurate and Efficient Approximation of Variable Aliasing in Logic Programs.

Dean Jacobs Anno Langen Accurate and Efficient Approximation of Variable Aliasing in Logic Programs. 154-165 1989 NACLP db/conf/slp/slp89.html#JacobsL89