Voronkov A. Programming Logics Essays in Memory of Harald Ganzinger / / edited by Andrei Voronkov, Christoph Weidenbach. // Springer eBooks. URL: http://dx.doi.org/10.1007/978-3-642-37651-1