Computers for symbolic processing (1989)

by B Wah, M Lowrie, G Li
Venue:In Proc. of the IEEE (77),4