Robert Veroff Finding Shortest Proofs: An Application of Linked Inference Rules. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2001, v:27, n:2, pp:123-139 [Journal]
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]
Robert Veroff A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer Stroke. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2003, v:31, n:1, pp:1-9 [Journal]
Robert Veroff The Linked Inference Principle, I: The Formal Treatment. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1992, v:8, n:2, pp:213-274 [Journal]
Robert Veroff Using Hints to Increase the Effectiveness of an Automated Reasoning Program: Case Studies. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1996, v:16, n:3, pp:223-239 [Journal]