Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko. Invariant Synthesis for Combined Theories. In Byron Cook, Andreas Podelski, editors, Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings. Volume 4349 of Lecture Notes in Computer Science, pages 378-394, Springer, 2007. [doi]
Abstract is missing.