David McAllester · 2 obras en el catálogoObrasLogic for programming and automated reasoningAAutomated Deduction - CADE-17Automated Deduction - CADE-17