Philip Bursky

• James R. Slagle and Philip Bursky. Experiments with a multipurpose, theorem-proving heuristic program. Journal of the ACM, 15(1):85-99, January 1968. References and Citations.

Shortcuts: