Unfold/Fold Transformation of Logic Programs.

Hisao Tamaki, Taisuke Sato

Browse the full ICLP paper archive.