Springer Computer Science, 30 Oct 2013 A Festschrift in memory of Harald Ganzinger is published in LNCS: Voronkov et al / Programming Logics http://www.springer.com/com…