Experiments With a Multipurpose, Theorem-Proving Heuristic Program. - James R. Slagle; Philip Bursky (J. ACM, 1968)