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