Finding Missing Proofs with Automated Reasoning Branden FitelsonLarry Wos OriginalPaper Pages: 329 - 356