@inproceedings{RISC3879,
author = {F. Winkler},
title = {{Canonical Reduction Systems in Symbolic Mathematics}},
booktitle = {{Proc. 3rd International Conference on Algebraic Informatics}},
language = {english},
volume = {5725},
pages = {123--135},
publisher = {Springer-Verlag},
isbn_issn = {978-3-642-03563-0},
year = {2009},
editor = {S. Bozapalidis and G. Rahonis},
refereed = {yes},
length = {12}
}