Finding Missing Proofs with Automated Reasoning

Branden Fitelson, Larry Wos. Finding Missing Proofs with Automated Reasoning. Studia Logica, 68(3):329-356, 2001.

Abstract

Abstract is missing.