Your search returned the following 2 documents:

2. Invariant Synthesis for Combined Theories
   Dirk Beyer, Thomas Henzinger, Rupak Majumdar, and Andrey Rybalchenko
   In: Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, 2007, 378-394
   
1. Path Invariants
   Dirk Beyer, Thomas Henzinger, Rupak Majumdar, and Andrey Rybalchenko
   In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, CA, USA, 2007, 300-309