@inproceedings{RISC4996,author = {A. Maletzky and B. Buchberger},
title = {{Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema}},
booktitle = {{Mathematical Software -- ICMS 2014}},
language = {english},
series = {Lecture Notes in Computer Science},
volume = {8592},
pages = {41--48},
publisher = {Springer Berlin Heidelberg},
isbn_issn = {ISBN 978-3-662-44198-5},
year = {2014},
annote = {2014-08-00-B},
note = {The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-44199-2_8},
editor = {Hoon Hong and Chee Yap},
refereed = {yes},
length = {8},
conferencename = {The 4th International Congress on Mathematical Software (ICMS'2014), Seoul, Korea, August 5-9, 2014},
url = {http://dx.doi.org/10.1007/978-3-662-44199-2_8}
}