Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V. (2008). Interpolation in local theory extensions. Logical Methods in Computer Science, 4(4), Art.1.1-31. doi:10.2168/LMCS-4(4:1)2008.