"HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday"

Andrei Voronkov, Margarita V. Korovina (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics