Application of Automatic Transformations to Program Verification. - Robert Veroff; Lawrence J. Henschen (IJCAI, 1981)

Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains. - Larry Henschen; Barry Smith 002; Robert Veroff; Steve Winker; Larry Wos (Notre Dame J. Formal Log., 1983)

The Linked Inference Principle, II: The User's Viewpoint. - Larry Wos; Robert Veroff; Barry Smith 002; William McCune (CADE, 1984)

A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains. - Larry Wos; Steve Winker; Barry Smith 002; Robert Veroff; Lawrence J. Henschen (Artif. Intell., 1984)

Designing Deductive Databases. - Paul Helman; Robert Veroff (J. Autom. Reason., 1988)

Intermediate problem solving and data structures - walls and mirrors (2. ed.). - Paul Helman; Robert Veroff; Frank R. Carrano (Benjamin/Cummings, 1991)

The Linked Inference Principle, I: The Formal Treatment. - Robert Veroff (J. Autom. Reason., 1992)

Logical basis for the automation of reasoning: Case studies. - Larry Wos; Robert Veroff (Handbook of Logic in Artificial Intelligence and Logic Programming (2), 1994)

Using Hints to Increase the Effectiveness of an Automated Reasoning Program: Case Studies. - Robert Veroff (J. Autom. Reason., 1996)

Understanding Integrated Circuits. - Gregory H. Chisholm; Steven T. Eckmann; Christopher M. Lain; Robert Veroff (IEEE Des. Test Comput., 1999)

The application of automated reasoning to formal models of combinatorial optimization. - Paul Helman; Robert Veroff (Appl. Math. Comput., 2001)

Finding Shortest Proofs: An Application of Linked Inference Rules. - Robert Veroff (J. Autom. Reason., 2001)

Solving Open Questions and Other Challenge Problems Using Proof Sketches. - Robert Veroff (J. Autom. Reason., 2001)

Short Single Axioms for Boolean Algebra. - William McCune; Robert Veroff; Branden Fitelson; Kenneth Harris; Andrew Feist; Larry Wos (J. Autom. Reason., 2002)

A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer Stroke. - Robert Veroff (J. Autom. Reason., 2003)

A Bayesian Network Classification Methodology for Gene Expression Data. - Paul Helman; Robert Veroff; Susan R. Atlas; Cheryl Willman (J. Comput. Biol., 2004)

Double-Negation Elimination in Some Propositional Logics. - Michael Beeson; Robert Veroff; Larry Wos (Stud Logica, 2005)

Axiomatizing the Skew Boolean Propositional Calculus. - Robert Veroff; Matthew Spinks (J. Autom. Reason., 2006)

Learning and modeling biosignatures from tissue images. - Frank Gilfeather; Vikas Hamine; Paul Helman; Julie Hutt; Terry Loring; C. Rick Lyons; Robert Veroff (Comput. Biol. Medicine, 2007)

Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties. - Francesco Paoli; Matthew Spinks; Robert Veroff (Logica Universalis, 2008)

Constructive Logic with Strong Negation is a Substructural Logic. I. - Matthew Spinks; Robert Veroff (Stud Logica, 2008)

Constructive Logic with Strong Negation is a Substructural Logic. II. - Matthew Spinks; Robert Veroff (Stud Logica, 2008)

Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction. - Michael K. Kinyon; Robert Veroff; Petr Vojtechovský (Automated Reasoning and Mathematics, 2013)

A Geometric Procedure with Prover9. - Ranganathan Padmanabhan; Robert Veroff (Automated Reasoning and Mathematics, 2013)

Experiments with State-of-the-art Automated Provers on Problems in Tarskian Geometry. - Josef Urban; Robert Veroff (IWIL@LPAR, 2015)

Formalizing a Fragment of Combinatorics on Words. - Stepan Holub; Robert Veroff (CiE, 2017)

A Wos Challenge Met. - Robert Veroff (J. Autom. Reason., 2022)