References

• 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
• Wilfried Sieg. AProS Project: Strategic Thinking & Computational Logic