Complete sets of transformations for general E-uni (1989)

by J Gallier, W Snyder
Venue:Theoretical Computer Science