A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method (1997)

by Franz Baader , Cesare Tinelli
Venue:Proceedings of the 14th International Conference on Automated Deduction
Citations:21 - 10 self