Shortest Axiomatizations of Implicational S4 and S5. - Zachary Ernst; Branden Fitelson; Kenneth Harris; Larry Wos (Notre Dame J. Formal Log., 2002)

Collective Action as Individual Choice. - Zachary Ernst; Sara Rachel Chant (Stud Logica, 2007)

Toward a Procedure for Data Mining Proofs. - Zachary Ernst; Seth Kurtenbach (Automated Reasoning and Mathematics, 2013)