W. Winsborough

Prop revisited: propositional formula as abstract domain for groundness analysis

A. Cortesi, G. File, W. Winsborough, 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.