Loredana Tec, Georg Regensburger, Markus Rosenkranz, Bruno Buchberger. An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra. In Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama, editors, Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings. Volume 6327 of Lecture Notes in Computer Science, pages 245-248, Springer, 2010. [doi]
Abstract is missing.