Advertisement

Otter 2.0

  • William McCune
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 449)

References

  1. [1]
    McCune, W., Otter 2.0 Users Guide, Report ANL-90/9, Argonne National Laboratory (March 1990).Google Scholar
  2. [2]
    McCune, W. and Wos, L., The Absence and the Presence of Fixed Point Combinators, Preprint MCS-P87-0689, Argonne National Laboratory (June 1989).Google Scholar
  3. [3]
    Kapur, D. and Zhang, H., RRL: Rewrite Rule Laboratory User's Manual, Report 89-03, Dept. of Computer Science, University of Iowa (May 1989).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • William McCune
    • 1
  1. 1.Mathematics and Computer Science DivisionArgonne National LaboratoryArgonneU.S.A.

Personalised recommendations