Programming Logics Essays in Memory of Harald Ganzinger - Voronkov, Andrei. (Springer Berlin Heidelberg,)