http://www.mcs.anl.gov/~mccune/

My primary research affiliation has changed to the Computer Science Department at the University of New Mexico.

The Web page you are looking for can probably found by going to My home page at UNM.

Quick Links:

• McCune Home Page at UNM
• Prover9 and Mace4
• Otter and Mace2
• Web Pages Associated with Papers