Harald Ganzinger · 4 obras en el catálogoObrasLogic for programming and automated reasoningInformatikAutomated Deduction - CADE-16ESOP '88