L & P
automated proof search
Wilfried Sieg, Richard Scheines.
Search for Proofs (in Sentential Logic).
Philosophy and the Computer (L. Burkholder, editor), 137-159, 1992
Richard Scheines, Wilfried Sieg.
Computer Environments for Proof Construction.
Interactive Learning environments Vol. 4 Issue (2), 159-169, 1994.
Wilfried Sieg, John Byrnes.
Normal Natural Deduction Proofs (in classical logic)
. Studia Logica 60, 67-106, 1998.
Wilfried Sieg, Saverio Cittadini.
Normal Natural Deduction Proofs (in Non-classical logics)
. Mechanizing Mathematical Reasoning, LNAI 2605, 169-191, 2005.
Wilfried Sieg, Clinton Field.
Automated search for Gödel's proofs. Deduction, computation, experiment (R. Lupacchini and G. Corsi, eds.), Springer-Verlag, 2008, 117-140. (The paper was originally published in the Annals of Pure and Applied Logic 133, 2005, 319-338)
AProS Project: Strategic Thinking & Computational Logic. Logic Journal of the IGPL 15 (4), 2007, 359-368
W. Sieg, On mind & Turing's machines; Natural Computing 6, 2007, 187-205
W. Sieg, Searching for proofs (and uncovering capacities of the mathematical mind); to appear
C.D. Schunn and M. Patchan, An evaluation of accelerated learning in the CMU Open Learning Initiative course Logic & Proofs; Report, Learning Research and Development Center, University of Pittsburgh, May 31, 2009