Ihlemann, Carsten Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Ihlemann, C., & Sofronie-Stokkermans, V. (2010). On Hierarchical Reasoning in Combinations of Theories. In J. Giesl, & R. Hähnle (Eds.), Automated Reasoning (pp. 30-45). Berlin: Springer. doi:10.1007/978-3-642-14203-1_4.