Vade-mecum of polynomial orderings - Steinbach, Joachim; Zehnter, Michael (Universität <Kaiserslautern> / SEKI-Projekt: SEKI report, 1990)