| |
| 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) | |
| 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] |