Horbach, Matthias Automation of Logic, MPI for Informatics, Max Planck Society;
Horbach, M. (2013). INFORMATIK 2013 - Informatik angepasst an Mensch, Organisation und Umwelt. Bonn-Buschdorf: Köllen.