- CSB - MetaPress - Google - Bing - Yahoo
 | 2002 | |
|---|---|---|
| 1 |      | 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) |
| 1 | Branden Fitelson | [1] |
| 2 | Kenneth Harris | [1] |
| 3 | William McCune | [1] |
| 4 | Robert Veroff | [1] |
| 5 | Larry Wos | [1] |