Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V. (2006). Interpolation in local theory extensions. In U., Furbach, & N., Shankar (Eds.), Proceedings of IJCAR 2006 (pp. 235-250). New York: Springer.