Amy P. Felty

Automated Deduction - CADE-25