Alexander Maletzky, Bruno Buchberger,
"Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema"
, Serie RISC Report Series, Nummer 14-10, RISC, JKU, Hagenberg, Linz, 10-2014
Original Titel:
Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema