Talks and Poster Presentations (without Proceedings-Entry):
B. Gramlich:
"Automatically Proving Confluence of Non-Terminating Rewrite Systems via a Generalized Newman-Style Approach";
Talk: Seminari del Dipartimento di Informatica, Università degli Studi di Verona,
Verona, Italy;
2006-04-11.