Theory of symbolic expressions (1983)

by M Sato
Venue:I, Theoretical Computer Science