Accurate and Efficient Approximation of Variable Aliasing in Logic Programs. - Jacobs, Dean; Langen, Anno (1989)