Local Theory Extensions, Hierarchical Reasoning and Applications to Verification.

Viorica Sofronie-Stokkermans Carsten Ihlemann Swen Jacobs Local Theory Extensions, Hierarchical Reasoning and Applications to Verification. 2007 Deduction and Decision Procedures http://drops.dagstuhl.de/opus/volltexte/2007/1250 conf/dagstuhl/2007P7401 db/conf/dagstuhl/P7401.html#Sofronie-StokkermansIJ07