Annotated Structure Shape Graphs for Abstract Analysis of Prolog. - Geoffrey Weyer; William H. Winsborough (PLILP, 1996)