Programming Logics : Essays in Memory of Harald Ganzinger - Andrei Voronkov, Christoph Weidenbach ((Lecture Notes in Computer Science))