PAC Quasi-automatizability of Resolution over Restricted Distributions | Read Paper on Bytez