Unfold/Fold Transformation of Logic Programs

収録刊行物

• Proceedings of the Second International Conference on Logic Programming

  Proceedings of the Second International Conference on Logic Programming 127-138, 1984