"Construction of Logic Programs Based on Generalized Unfold/Fold Rules."

Tadashi Kanamori, Kenji Horiuchi (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics