Alexander Maletzky, Bruno Buchberger,
"Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema"
, in Chee Yap and Hoon Hong: Mathematical Software - ICMS 2014, Serie Lecture Notes in Computer Science (LNCS), Vol. 8592, Seite(n) 41-48, 2014, ISBN: 978-3-662-44198-5
Original Titel:
Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema