McCune, William "Otter 3.3 manual" Mathematics and Computer Science Division Technical Memorandum No. 263 Argonne National Laboratory

Languages mentioned

• Otter {1988}