4

Automated discovery of single axioms for ortholattices
– W. Mccune, R. Padmanabhan, M. A. Rose, R. Veroff
 2005


SINGLE AXIOMS: WITH AND WITHOUT COMPUTERS
– William Mccune

1

Automated Equational Deduction with Otter
– William Mccune, R. Padmanabhan
 1995

9

A Shortest 2Basis for Boolean Algebra in Terms of the Sheffer Stroke
– Robert Veroff
 2003

42

OTTER 3.3 Reference Manual
– William Mccune

3

Yet another single law for lattices
– William Mccune, R. Padmanabhan, Robert Veroff

2

Axiomatizing the Skew Boolean Propositional Calculus
– R. Veroff, M. Spinks
 2007

21

Short Single Axioms for Boolean Algebra
– William Mccune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos
 2002

5

Practical Proof Checking for Program Certification
– Geoff Sutcliffe, Ewen Denney, Bernd Fischer
 2005


Received (Day Month Year)
– Geoff Sutcliffe


ANL/MCSTM244 A Short Sheffer Axiom for Boolean Algebra
– Robert Veroff, William Mccune
 2000

1

The Flowering of Automated Reasoning
– Larry Wos
 2001


Using Automated Theorem Provers in Nonassociative Algebra
– J. D. Phillips

3

Automated theorem proving in quasigroup and loop theory
– J. D. Phillips, David Stanovsky


Automated Deduction in Equational Logic and Geometry
– William Mccune, R. Padmanabhan
 1995

3

Experiments concerning the Automated Search for Elegant Proofs
– Larry Wos
 1997

8

Automating the search for elegant proofs
– Larry Wos

27

Automated Deduction in Equational Logic and Cubic Curves
– William McCune, R. Padmanabhan
 1996

9

Using a theorem prover for reasoning on constraint problems
– Marco Cadoli, Toni Mancini
 2006
