maximal method for set variables in automatic theorem-proving W. W. BLEDSOE 53 5 A production system for automatic deduction. N.J. NILSSON 101

Open in new window