Admissible orders and linear forms (1987)

by V Weispfenning
Venue:ACM SIGSAM Bulletin