Your search returned the following 3 documents:

3. Applications of hierarchical reasoning in the verification of complex systems
   Swen Jacobs and Viorica Sofronie-Stokkermans
   In: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning, Seattle, USA, 2006, 15-26
   [PDF: Download: 13_jacobs_sofronie.pdf]
   
2. Constraint Solving for Interpolation
   Andrey Rybalchenko and Viorica Sofronie-Stokkermans
   In: 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007), Nice, France, 2007
   
1. 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