1. S. Burris, An anthropomorphized version of the McCune's machine proof that Robbins algebras are Boolean
2. Using Mathematica 3.0 to understand the computer proof of the Robbins conjecture;Fitelson;Math. Ed. Res.,1998
3. New sets of independent postulates for the algebra of logic;Huntington;Trans. Amer. Math. Soc.,1933
4. Boolean algebra: A correction;Huntington;Trans. Amer. Math. Soc.,1933
5. Solution of the Robbins problem;McCune;J. Automat. Reason.,1997