Announcing the Release of Aquarius Prolog. - Thomas W. Getzinger; Ralph Clarke Haygood; Peter Van Roy (ACM SIGPLAN Notices, 1993)

Abstract Interpretation for the Compile-Time Optimization of Logic Programs - Thomas W. Getzinger (1993)

The Costs and Benefits of Abstract Interpretation-driven Prolog Optimization - Thomas W. Getzinger (SAS, 1994)