"Proving Confluence of Term Rewriting Systems Automatically."

Takahito Aoto, Junichi Yoshida, Yoshihito Toyama (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics