Horbach, Matthias Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Horbach, M., & Sofronie-Stokkermans, V. (2014). Locality Transfer: From Constrained Axiomatizations to Reachability Predicates. In S. Demri, D. Kapur, & C. Weidenbach (Eds.), Automated Reasoning (pp. 192-207). Berlin: Springer. doi:10.1007/978-3-319-08587-6_14.