On finite representations of infinite sequences of terms (1990)

by H Chen, J Hsiang, H Kong
Venue:In Conditional and Typed Rewriting Systems, 2nd International Workshop