Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V. (2009). Reasoning in Complex Theories and Applications. Advanced Lecture, ESSLLI 2009. ESSLLI 2009 CDrom.