"Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite ..."

Guillem Godoy, Ashish Tiwari, Rakesh M. Verma (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics