Franz Baader Cesare Tinelli A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method. 19-33 1997 conf/cade/1997 CADE db/conf/cade/cade97.html#BaaderT97 https://doi.org/10.1007/3-540-63104-6_3