Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Tinelli, C., & Sofronie-Stokkermans, V. (Eds.). (2011). Frontiers of Combining Systems. Berlin: Springer.