"Programming Logics - Essays in Memory of Harald Ganzinger"

Andrei Voronkov, Christoph Weidenbach (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics