@inproceedings{RISC4997,
author = {B. Buchberger and A. Maletzky},
title = {{Groebner Bases in Theorema}},
booktitle = {{Mathematical Software -- ICMS 2014}},
language = {english},
series = {Lecture Notes in Computer Science},
volume = {8592},
pages = {374--381},
publisher = {Springer Berlin Heidelberg},
isbn_issn = {ISBN 978-3-662-44198-5},
year = {2014},
annote = {2014-08-00-A},
note = {The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-44199-2_58},
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_58}
}