Restricted Distribution Automatizability in PAC-Semantics
A Computing Procedure for Quantification Theory