@inproceedings{RISC4044,
author = {Loredana Tec and Georg Regensburger and Markus Rosenkranz and Bruno Buchberger},
title = {{An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra}},
booktitle = {{Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17}},
language = {english},
series = {Lecture Notes in Computer Science},
volume = {6327},
pages = {245--248},
publisher = {Springer},
isbn_issn = {978-3-642-15581-9},
year = {2010},
annote = {2010-09-00-A},
editor = {Komei Fukuda and Joris van der Hoeven and Michael Joswig and Nobuki Takayama},
refereed = {yes},
length = {4},
conferencename = {ICMS}
}