@inproceedings{RISC5283,author = {A. Maletzky},
title = {{Verifying Buchberger's Algorithm in Reduction Rings}},
booktitle = {{Proceedings of the 4th International Seminar on Program Verification, Automated Debugging, and Symbolic Computation}},
language = {english},
pages = {16--23},
isbn_issn = {??},
year = {2015},
month = {October},
note = {arXiv:1604.08736 [cs.SC]},
editor = {Tudor Jebelean and Dongming Wang},
refereed = {yes},
length = {8},
conferencename = {PAS'2015, Beijing, China, October 21--23},
url = {http://arxiv.org/abs/1604.08736}
}