Voronkov, A., & Weidenbach, C. (Eds.). (2013). Programming Logics: Essays in Memory of Harald Ganzinger. Berlin: Springer. doi:10.1007/978-3-642-37651-1.