Unfold/Fold Transformations of Logic Programs

P. A. Gardner, John C. Shepherdson. Unfold/Fold Transformations of Logic Programs. In Computational Logic - Essays in Honor of Alan Robinson. pages 565-583, 1991.

Abstract

Abstract is missing.