Maier, Patrick Programming Logics, MPI for Informatics, Max Planck Society;
Göbel, M., & Maier, P. (2000). Three Remarks on Comprehensive Gröbner and SAGBI Bases. In V. G. Ganzha, E. W. Mayr, & E. V. Vorozhtsov (Eds.), Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing (CASC-2000) (pp. 191-202). Berlin, Germany: Springer.