author : George Logemann
1
publication
A machine program for theorem-proving (Communications of the ACM, 1962) — Martin Davis, George Logemann, Donald Loveland A machine program for theorem-proving (Communications of the ACM, 1962) — Martin Davis, George Logemann, Donald Loveland