http://www.mcs.anl.gov/~mccune/
or one of its subpages has been redirected here.
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: