Escobar Román, Santiago; Sasse, Ralf; Meseguer, José(Elsevier, 2012-11)
Automated reasoning modulo an equational theory E is a fundamental technique in many applications. If E can be split as a disjoint union E u Ax in such a way that E is confluent, terminating, sort-decreasing, and coherent ...