537	 A Machine Program for Theorem-Proving	 The program of a proof procedure is discussed in connection with trial runs and possible improvements.
