Prop revisited: propositional formula as abstract domain for groundness analysis | IEEE Conference Publication | IEEE Xplore