Toward a Procedure for Data Mining Proofs. - Zachary Ernst; Seth Kurtenbach (Automated Reasoning and Mathematics, 2013)