@inproceedings{RISC212,
author = {Manuel Kauers},
title = {{Computer Proofs for Polynomial Identities in Arbitrary Many Variables}},
booktitle = {{Proceedings of ISSAC 2004}},
language = {english},
pages = {199--204},
publisher = {ACM Press},
isbn_issn = {ISBN 1-58113-827-X},
year = {2004},
editor = {Jaime Gutierrez},
refereed = {yes},
length = {6}
}