Ganzinger, Harald; Sofronie-Stokkermans, Viorica; Waldmann, Uwe Modular proof systems for partial functions with Evans equality. (English) Zbl 1103.68112 Inf. Comput. 204, No. 10, 1453-1492 (2006). MSC: 68T15 03B35 × Cite Format Result Cite Review PDF Full Text: DOI
Oyamaguchi, Michio; Ohta, Yoshikatsu The unification problem for confluent right-ground term rewriting systems. (English) Zbl 1054.68081 Inf. Comput. 183, No. 2, 187-211 (2003). MSC: 68Q42 68T15 × Cite Format Result Cite Review PDF Full Text: DOI