Substitution revisited (1988)

by A Stoughton
Venue:Theoretical Computer Science