Web Pages Associated with Papers of
William McCune
Many of my recent papers have associated Web pages containing
additional data such as input files, detailed proofs, and
supporting theorems.
The following links lead to those pages.

Automated Deduction in Equational Logic and Cubic Curves,
a monograph by W. McCune and R. Padmanabhan.

Single Identities for Lattice Theory and for Weakly Associative
Lattices, by W. McCune and R. Padmanabhan.

Computer and Human Reasoning: Single Implicative Axioms
for Groups and for Abelian Groups,
by W. McCune and A.D. Sands.

33 Basic Test Problems: A Practical Evaluation of Some Paramodulation Strategies,
by W. McCune.

Solution of the Robbins Problem,
by W. McCune.

Automatic Proofs and Counterexamples for Some
Ortholattice Identities,
by W. McCune.

Uniqueness of Steiner Laws on Cubic Curves,
by R. Padmanabhan and W. McCune.

Single Axioms for Boolean Algebra,
by W. McCune.

Short Single Axioms for Boolean Algebra,
by W. McCune, R. Veroff, B. Fitelson, K. Harris, A. Feist, L. Wos.

Yet Another Single Law for Lattices,
by W. McCune, R. Padmanabhan, R. Veroff.

Short Equational Bases for Ortholattices,
by W. McCune, R. Padmanabhan, M. A. Rose, R. Veroff.