Programming Logics Essays in Memory of Harald Ganzinger - Voronkov, Andrei; Weidenbach, Christoph (Springer Berlin Heidelberg : Imprint: Springer, 2013)