"Grammar-Related Transformations of Logic Programs."

Derek R. Brough (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics