Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V. (2009). Locality results for certain extensions of theories with bridging functions. In R. A. Schmidt (Ed.), Automated Deduction - CADE-22. Berlin: Springer.