Selected papers that cite this one
- Sandro Etalle and Maurizio Gabbrielli. Transformations of CLP modules. Theoretical Computer Science, 166(1-2):101-146, 20 October 1996.
- J. C. Shepherdson. Unfold/fold transformations of logic programs. Mathematical Structures in Computer Science, 2(2):143-157, June 1992.