Harald Ganzinger’s Legacy: Contributions to Logics and Programming | Publicación