Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Ihlemann, Carsten Automation of Logic, MPI for Informatics, Max Planck Society;
Jacobs, Swen Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V., Ihlemann, C., & Jacobs, S. (2007). Local Theory Extensions, Hierarchical Reasoning and Applications to Verification. In F. Baader, B. Cook, J. Giesl, & R. Nieuwenhuis (Eds.), Deduction and Decision Procedures (pp. 1-22). Dagstuhl, Germany: IBFI.