Guillem Godoy, Ashish Tiwari, Rakesh M. Verma. On the Confluence of Linear Shallow Term Rewrite Systems. In Helmut Alt, Michel Habib, editors, STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings. Volume 2607 of Lecture Notes in Computer Science, pages 85-96, Springer, 2003. [doi]
Abstract is missing.