A new approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method (0)

by Franz Baader, Cesare Tinelli
Venue:Proceedings of the 14th International Conference on Automated Deduction