Key points are not available for this paper at this time.
The programming of a proof procedure is discussed in connection with trial runs and possible improvements.
Davis et al. (Sun,) studied this question.