Gröbner bases with respect to generalized term orders and their application to the modelling problem

From MaRDI portal