
Wilfried Sieg, Richard Scheines. Search for Proofs (in Sentential Logic).
Philosophy and the Computer (L. Burkholder, editor), 137159, 1992

Richard Scheines, Wilfried Sieg. Computer Environments for Proof Construction.
Interactive Learning environments Vol. 4 Issue (2), 159169, 1994.

Wilfried Sieg, John Byrnes. Normal Natural Deduction Proofs (in classical logic).
Studia Logica 60, 67106, 1998.

Wilfried Sieg, Saverio Cittadini. Normal Natural Deduction Proofs (in Nonclassical logics).
Mechanizing Mathematical Reasoning, LNAI 2605, 169191, 2005.

Wilfried Sieg, Clinton Field. Automated search for Gödel's proofs. Deduction, computation, experiment (R. Lupacchini and
G. Corsi, eds.), SpringerVerlag, 2008, 117140. (The paper was originally
published in the Annals of Pure and Applied Logic 133, 2005, 319338)

Wilfried Sieg. AProS Project: Strategic Thinking & Computational Logic. Logic Journal of the IGPL 15 (4), 2007, 359368

W. Sieg, On mind & Turing's machines; Natural Computing 6, 2007, 187205

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
