Kenneth Harris

	2002
3		William McCune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos: Short Single Axioms for Boolean Algebra. J. Autom. Reasoning 29(1): 1-16 (2002)
2		Zachary Ernst, Branden Fitelson, Kenneth Harris, Larry Wos: Shortest Axiomatizations of Implicational S4 and S5. Notre Dame Journal of Formal Logic 43(3): 169-179 (2002)
	2001
1		Kenneth Harris, Branden Fitelson: Distributivity in [Lstrok][aleph]0 and Other Sentential Logics. J. Autom. Reasoning 27(2): 141-156 (2001)

Coauthor Index

1	Zachary Ernst	[2]
2	Andrew Feist	[3]
3	Branden Fitelson	[1] [2] [3]
4	William McCune	[3]
5	Robert Veroff	[3]
6	Larry Wos	[2] [3]