"Schema-Based Transfomations of Logic Programs."

Norbert E. Fuchs, Markus P. J. Fromherz (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics