1. Belinfante, J.: Computer Assisted Proofs in Set Theory, Web site (2001), http://www.math.gatech.edu/~belinfan/research/autoreas/index.html
2. Epstein, R.: Propositional Logics: The Semantical Foundations of Logic. Oxford University Press, Oxford (1995)
3. Ernst, Z.: A Concise Axiomatization of RM→, Bulletin of the Section of Logic (to appear)
4. Ernst, Z., Fitelson, B., Harris, K., Wos, L.: Shortest Axiomatizations of Implicational S4 and S5, Preprint ANL/MCS-P919-1201 (December 2001)
5. Fitelson, B., Wos, L.: Missing Proofs Found. J. Automated Reasoning 27(2), 201–225 (2001)