Unfold/Fold Transformation of Stratified Programs.

Hirohisa Seki

Browse the full ICLP paper archive.