"The Costs and Benefits of Abstract Interpretation-driven Prolog Optimization"

Thomas W. Getzinger (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics