Kenneth Harris
Automated Reasoning		[pdf] Shortest Axiomatizations of Implicational S4 and S5. (with Zac Ernst, Branden Fitelson, and Larry Wos) (2002) Notre Dame Journal of Formal Logic 43 (3): 169-179. [pdf] Short Single Axioms for Boolean Algebra. (with Bill McCune, Bob Veroff, Branden Fitelson, Andrew Feist, and Larry Wos), (2002) Journal of Automated Reasoning 29(1): 1-16. [pdf] A Concise Axiomatization of RM -> (with Zac Ernst, Branden Fitelson, and Larry Wos), (2001) Bulletin of the Section of Logic (Department of Logic, University of Lodz) 30(4): 191-194. [pdf] Distributivity in L-Aleph-0 and Other Sentential Logics. (with Branden Fitelson), (2001) Journal of Automated Reasoning 27(2): 141-156. [pdf] Comments on Some Completeness Theorems of Urquhart and Mendez & Salto. (with Branden Fitelson), (2001) Journal of Philosophical Logic 30(1): 51-55.