Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran. Combining Proof-Producing Decision Procedures. In Boris Konev, Frank Wolter, editors, Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings. Volume 4720 of Lecture Notes in Computer Science, pages 237-251, Springer, 2007. [doi]
Abstract is missing.