Geoffrey Weyer
Geoffrey Weyer
William H. Winsborough
Annotated Structure Shape Graphs for Abstract Analysis of Prolog.
92-106
1996
conf/plilp/1996
PLILP
db/conf/plilp/plilp96.html#WeyerW96
https://doi.org/10.1007/3-540-61756-6_79
William H. Winsborough