Bruno Buchberger, Alexander Maletzky,
"Groebner Bases in Theorema"
, in Chee Yap and Hoon Hong: Mathematical Software - ICMS 2014, Serie Lecture Notes in Computer Science (LNCS), Vol. 8592, Springer Berlin Heidelberg, Seite(n) 374-381, 2014, ISBN: 978-3-662-44198-5