"On the Practicality of Global Flow Analysis of Logic Programs."

Richard A. Warren, Manuel V. Hermenegildo, Saumya K. Debray (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics