Francesca Scozzari Logical Optimality of Groundness Analysis. 83-97 1997 conf/sas/1997 SAS db/conf/sas/sas97.html#Scozzari97