Robert Veroff Solving Open Questions and Other Challenge Problems Using Proof Sketches. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2001, v:27, n:2, pp:157-174 [Journal]
Larry Wos Conquering the Meredith Single Axiom. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2001, v:27, n:2, pp:175-199 [Journal]