Restricted Distribution Automatizability in PAC-Semantics
A machine program for theorem-proving