Vágvölgyi, Sándor Ground term rewriting. (English) Zbl 1257.68094 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 102, 153-190 (2010). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{S. Vágvölgyi}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 102, 153--190 (2010; Zbl 1257.68094)
Vágvölgyi, Sándor Left-linear right-ground term rewrite systems and ground term rewrite systems. (English) Zbl 1169.68457 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 82, 269-285 (2004). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{S. Vágvölgyi}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 82, 269--285 (2004; Zbl 1169.68457)
Vágvőlgyi, Sándor Intersection of finitely generated congruences over the term algebra with equal trunks. (English) Zbl 0973.68110 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 71, 167-185 (2000). MSC: 68Q42 PDFBibTeX XMLCite \textit{S. Vágvőlgyi}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 71, 167--185 (2000; Zbl 0973.68110)