Title: Machine Program for Theorem-Proving