Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V. (2005). Hierarchic reasoning in local theory extensions. In R. Nieuwenhuis (Ed.), Automated deduction - CADE-20: 20th International Conference on Automated Deduction (pp. 219-234). Berlin, Germany: Springer.