A New Notion of Reduction: General Universal Gröbner Basis for K[x, y]. - W. Herfort; H. Penz (J. Symb. Comput., 1991)