1. Tatiana Bandman, Gert-Martin Greuel, Fritz Grunewald, Boris Kunyavskii, Gerhard Pfister, and Eugene Plotkin, Two-variable identities for finite solvable groups, C. R. Math. Acad. Sci. Paris 337 (2003), no. 9, 581–586.[MR]
  2. Tatiana Bandman, Gert-Martin Greuel, Fritz Grunewald, Boris Kunyavskii, Gerhard Pfister, and Eugene Plotkin, Identities for finite solvable groups and equations in finite simple groups, Compos. Math. 142 (2006), no. 3, 734–764.[MR]
  3. Michael Brickenstein, Alexander Dreyer, Gert-Martin Greuel, Markus Wedler, and Oliver Wienand, New developments in the theory of Gröbner bases and applications to formal verification, J. Pure Appl. Algebra 213 (2009), no. 8, 1612–1635.[MR]
  4. Gert-Martin Greuel, Santiago Laplagne, and Frank Seelisch, Normalization of rings, J. Symbolic Comput. 45 (2010), no. 9, 887–901.[doi/arXiv]
  5. Oliver Wienand, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, and Gert-Martin Greuel, An algebraic approach for proving data correctness in arithmetic data paths, Computer Aided Verification, Lecture Notes in Computer Science, vol. 5123, Springer Berlin/Heidelberg, 2008, pp. 473–486.