Distributivity in [Lstrok][aleph]0 and Other Sentential Logics. - Kenneth Harris; Branden Fitelson (J. Autom. Reason., 2001)

Comments on Some Completeness Theorems of Urquhart and Méndez & Salto. - Kenneth Harris; Branden Fitelson (J. Philos. Log., 2001)

Short Single Axioms for Boolean Algebra. - William McCune; Robert Veroff; Branden Fitelson; Kenneth Harris; Andrew Feist; Larry Wos (J. Autom. Reason., 2002)

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

eta-representation of sets and degrees. - Kenneth Harris (J. Symb. Log., 2008)