Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
http://userpages.uni-koblenz.de/~sofronie/addct-2013/proceedings-addct-2013.pdf (Any fulltext)
Ghilardi, S., Sattler, U., Sofronie-Stokkermans, V., & Tiwari, A. (Eds.). (2013). Automated Deduction: Decidability, Complexity, Tractability.