D. W. Loveland

• Automated Theorem Proving