Bibliography

FP97

Véronique Froidure and Jean-Eric Pin. Algorithms for computing finite semigroups. In Foundations of computational mathematics (Rio de Janeiro, 1997), pages 112–126. Springer, Berlin, 1997.

Gil79

Robert H Gilman. Presentations of groups and monoids. Journal of Algebra, 57(2):544–554, April 1979.

Hol19

Derek Holt. Kbmag – GAP package, Version 1.5.9. July 2019. URL: https://gap-packages.github.io/kbmag/.

Jan12

Matthias Jantzen. Confluent string rewriting. Volume 14. Springer Science & Business Media, 2012.

JMP17

Julius Jonusas, James D. Mitchell, and Markus Pfeiffer. Two variants of the Froidure-Pin algorithm for finite semigroups. Port. Math., 74(3):173–200, 2017. URL: https://doi.org/10.4171/PM/2001, doi:10.4171/PM/2001.

Knu09

Donald E. Knuth. The Art of Computer Programming, Volume 4, Fascicle 1: Bitwise Tricks & Techniques; Binary Decision Diagrams. Addison-Wesley Professional, 12th edition, 2009. ISBN 0321580508, 9780321580504.

Kon94

Janusz Konieczny. Green's equivalences in finite semigroups of binary relations. Semigroup Forum, 48(2):235–252, 1994. doi:10.1007/BF02573672.

LM90

Gerard Lallement and Robert McFadden. On the determination of Green's relations in finite transformation semigroups. J. Symbolic Comput., 10(5):481–498, 1990. doi:10.1016/S0747-7171(08)80057-0.

MM13

Paul Martin and Volodymyr Mazorchuk. Partitioned binary relations. Mathematica Scandinavica, 113(1):30–52, 2013. URL: http://www.jstor.org/stable/24493105.

Sim94

Charles C. Sims. Computation with finitely presented groups. Encyclopedia of mathematics and its applications. Cambridge University Press, Cambridge„ England, New York, 1994. ISBN 0-521-43213-8. URL: http://opac.inria.fr/record=b1082972.