Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V. (2013). On Combinations of Local Theory Extensions. In A. Voronkov, & C. Weidenbach (Eds.), Programming Logics (pp. 392-413). Berlin: Springer. doi:10.1007/978-3-642-37651-1_16.