@proceedings{RISC4709,
author = {Manuel Kauers},
title = {{Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation}},
language = {english},
publisher = {ACM},
isbn_issn = {isbn 978-1-4503-2059-7/13/06},
year = {2013},
editor = {Manuel Kauers},
length = {0},
conferencename = {ISSAC'13}
}