Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V. (2015). Hierarchical Reasoning in Local Theory Extensions and Applications. In SYNASC 2014 (pp. 34-41). Los Alamitos, CA: IEEE Computer Society. doi:10.1109/SYNASC.2014.13.