Unfold/fold transformation of stratified programs (1991)

by H Seki
Venue:Theoretical Computer Science