Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V. (2007). Hierarchical and modular reasoning in complex theories: The case of local theory extensions. In B. Konev, & F. Wolter (Eds.), Frontiers of Combining Systems: 6th International Symposium, FroCos 2007 (pp. 47-71). Berlin, Germany: Springer.