Unfold/Fold Transformations of Stratified Programs

Hirohisa Seki. Unfold/Fold Transformations of Stratified Programs. Theoretical Computer Science, 86(1):107-139, 1991.

Abstract

Abstract is missing.