"Improvements in Compile-Time Analysis for Ground Prolog."

Andreas Kågedal (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics