A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method.

Franz Baader, Cesare Tinelli

Browse the full CADE paper archive.