Thomas W. Getzinger The Costs and Benefits of Abstract Interpretation-driven Prolog Optimization 1-25 conf/sas/94 SAS 1994 db/conf/sas/sas94.html#Getzinger94