Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Ghilardi, S., Sattler, U., Sofronie-Stokkermans, V., & Tiwari, A. (Eds.). (2007). Workshop Automated Deduction: Decidability, Complexity, Tractability (ADDCT'07). Bremen: n/a.