Unfold/Fold transformation of stratified programs (1991)

by H Seki
Venue:Theoretical Computer Science