Differential-term orders - Weispfenning, Volker 1944- (1992)