References
Clocksin, W. F. and C. S. Mellish,Programming in Prolog, Springer-Verlag, New York. (1981)
Lusk, E. L. and R. A. Overbeek, “The automated reasoning system ITP”, ANL-84-27, Argonne National Laboratory. (1984)
McFadden, R. B., “Automated theorem proving applied to the theory of semigroups”, Tagungsbericht, Oberwolfach. (1986)
Petrich, M.,Inverse Semigroups, Wiley & Sons, New York. (1984)
Reilly, N. R., “The Lattice of varieties of inverse semigroups”, Tagungsbericht, Oberwolfach. (1986)
Wos, L., R. Overbeek, E. Lusk, and J. Boyle,Automated Reasoning: Introduction and Applications, Prentice-Hall, Englewood Cliffs, New Jersey. (1984)
Author information
Authors and Affiliations
Additional information
Communicated by N.R. Reilly
The first author was supported by the Applied Mathematical Sciences subprogram of the Office of Energy Research U.S. Department of Energy, under contract nr. W-31-109-Eng-38.
Rights and permissions
About this article
Cite this article
Lusk, E., McFadden, R. Using automated reasoning tools: A study of the semigroupF 2 B 2 . Semigroup Forum 36, 75–87 (1987). https://doi.org/10.1007/BF02575007
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF02575007