%% This BibTeX bibliography file was created using BibDesk.
%% https://bibdesk.sourceforge.io/

%% Created for James Mitchell at 2021-11-04 16:20:43 +0000


%% Saved with string encoding Unicode (UTF-8)

%% This file was formatted using: https://flamingtempura.github.io/bibtex-tidy/index.html

@article{Abram2022aa,
    title       = {The stylic monoid},
    author      = {Abram, A. and Reutenauer, C.},
    year        = 2022,
    journal     = {Semigroup Forum},
    volume      = 105,
    number      = 1,
    pages       = {1--45},
    doi         = {10.1007/s00233-022-10285-3},
}
@article{Aizenstat1958aa,
    title       = {Defining relations of finite symmetric semigroups},
    author      = {Aizenstat, A.},
    year        = 1958,
    journal     = {Mat. Sb. N.S.},
    volume      = 45,
    number      = 87,
    pages       = {261--280},
}
@article{Aizenstat1962aa,
    title       = {Generating relations of an endomorphism semigroup of a finite linearly ordered chain},
    author      = {Aizenstat, A.},
    year        = 1962,
    journal     = {Sibirsk. Mat. Z.},
    volume      = 2,
    pages       = {9-11},
}

@article{Arthur2000aa,
    title       = {Presentations for Two Extensions of the Monoid of Order-Preserving Mappings on a Finite Chain},
    author      = {Arthur, Robert E. and Ruškuc, N.},
    year        = 2000,
    journal     = {Southeast Asian Bulletin of Mathematics},
    volume      = 24,
    number      = 1,
    pages       = {1--7},
    doi         = {10.1007/s10012-000-0001-1},
}
@article{Ayik2000aa,
    title       = {Minimal Presentations and Efficiency of Semigroups},
    author      = {Ayik, H. and Campbell, C. M. and O'Connor, J. J. and Ruskuc, N.},
    year        = 2000,
    journal     = {Semigroup Forum},
    volume      = 60,
    number      = 2,
    pages       = {231--242},
    doi         = {10.1007/s002339910016},
}
@book{Burnside2012aa,
    title       = {Theory of Groups of Finite Order},
    author      = {Burnside, William},
    year        = 2012,
    publisher   = {Cambridge University Press},
    doi         = {10.1017/cbo9781139237253.023},
}
@article{Campbell1994aa,
    title       = {Fibonacci semigroups},
    author      = {Colin M. Campbell and Edmund F. Robertson and Nikola Ruškuc and Richard M. Thomas},
    year        = 1994,
    journal     = {Journal of Pure and Applied Algebra},
    volume      = 94,
    number      = 1,
    pages       = {49--57},
    doi         = {10.1016/0022-4049(94)90005-1},
    url         = {https://doi.org/10.1016/0022-4049(94)90005-1},
}
@article{Cassaigne2001aa,
    title       = {The Chinese monoid},
    author      = {Cassaigne, Julien and Espie, Marc and Krob, Daniel and Novelli, Jean-Christophe and Hivert, Florent},
    year        = 2001,
    journal     = {International Journal of Algebra and Computation},
    volume      = 11,
    number      = {03},
    pages       = {301--334},
    doi         = {10.1142/s0218196701000425},
    url         = {https://doi.org/10.1142/S0218196701000425},
}
@misc{Coleman2022aa,
    title       = {The Todd-Coxeter Algorithm for Semigroups and Monoids},
    author      = {T. D. H. Coleman and J. D. Mitchell and F. L. Smith and M. Tsalakou},
    year        = 2022,
    eprint      = {arXiv:2203.11148},
}
@book{Coxeter1979aa,
    title       = {Generators and relators for discrete groups},
    author      = {Coxeter, H. S. M. and Moser, W. O. J.},
    year        = 1979,
    publisher   = {Springer-Verlag},
}
@misc{Easdown2007aa,
    title       = {A Presentation for the Dual Symmetric Inverse Monoid},
    author      = {Easdown, David and East, James and FitzGerald, D. G.},
    year        = 2007,
    publisher   = {arXiv},
    doi         = {10.48550/arxiv.0707.2439},
}
@article{East2011aa,
    title       = {Generators and relations for partition monoids and algebras},
    author      = {East, James},
    year        = 2011,
    journal     = {Journal of Algebra},
    volume      = 339,
    number      = 1,
    pages       = {1--26},
    doi         = {10.1016/j.jalgebra.2011.04.008},
    issn        = {0021-8693},
}
@article{East2022aa,
    title       = {{Presentations for Temperley–Lieb Algebras}},
    author      = {East, James},
    year        = 2021,
    month       = {02},
    journal     = {The Quarterly Journal of Mathematics},
    volume      = 72,
    number      = 4,
    pages       = {1253--1269},
    doi         = {10.1093/qmath/haab001},
    url         = {https://doi.org/10.1093/qmath/haab001},
}
@misc{Fernandes2022aa,
    title       = {On the cyclic inverse monoid on a finite set},
    author      = {Fernandes, Vitor Hugo},
    year        = 2022,
    published   = {arXiv},
    doi         = {10.48550/ARXIV.2211.02155},
}
@misc{Fernandes2022ab,
    title       = {On the monoid of partial isometries of a cycle graph},
    author      = {Fernandes, Vítor H. and Paulista, Tânia},
    year        = 2022,
    published   = {arXiv},
    doi         = {10.48550/ARXIV.2205.02196},
}
@article{FitzGerald2003aa,
    title       = {A presentation for the monoid of uniform block permutations.},
    author      = {FitzGerald, D.G.},
    year        = 2003,
    journal     = {Bulletin of the Australian Mathematical Society},
    volume      = 68,
    number      = 2,
    pages       = {317--324},
    doi         = {10.1017/s0004972700037692},
}
@book{Ganyushkin2009aa,
    title       = {Classical Finite Transformation Semigroups},
    author      = {Ganyushkin, Olexandr and Mazorchuk, Volodymyr},
    year        = 2009,
    publisher   = {Springer London},
    doi         = {10.1007/978-1-84800-281-4},
}
@article{Guralnick2008aa,
    title       = {Presentations of finite simple groups: A quantitative approach},
    author      = {Guralnick, R. M and Kantor, W. M and Kassabov, M. and Lubotzky, A.},
    year        = 2008,
    journal     = {Journal of the American Mathematical Society},
    volume      = 21,
    pages       = {711--774},
    doi         = {10.1090/S0894-0347-08-00590-0},
}
@phdthesis{Havas1999iy,
    title       = {Coset enumeration: ACE},
    author      = {Havas, George and Ramsay, Colin},
    year        = 1999,
    date-added  = {2021-11-04 16:19:14 +0000},
    date-modified = {2021-11-04 16:20:42 +0000},
    keywords    = {version 3},
    school      = {University of Queensland},
}
@article{Knuth1970aa,
    title       = {Permutations, Matrices, and Generalised Young Tableaux},
    author      = {Knuth, Donald E.},
    year        = 1970,
    journal     = {Pacific Journal of Mathematics},
    volume      = 34,
    number      = 3,
    pages       = {709--727},
    doi         = {10.2140/pjm.1970.34.709},
}
@article{Kudryavtseva2006aa,
    title       = {On presentations of Brauer-type monoids},
    author      = {Kudryavtseva, Ganna and Mazorchuk, Volodymyr},
    year        = 2007,
    journal     = {Central European Journal of Mathematics},
    volume      = 4,
    doi         = {10.2478/s11533-006-0017-6},
    issue       = 3,
}
@incollection{Lascoux1981aa,
    title       = {Le mono\"{i}de plaxique},
    author      = {Lascoux, Alain and Sch\"{u}tzenberger, Marcel-P.},
    year        = 1981,
    booktitle   = {Noncommutative structures in algebra and geometric combinatorics ({N}aples, 1978)},
    publisher   = {CNR, Rome},
    pages       = {129--156},
    series      = {Quad. ``Ricerca Sci.''},
    volume      = {109},
}
@article{Maltcev2007aa,
    title       = {Presentation of the singular part of the Brauer monoid},
    author      = {Maltcev, Victor and Mazorchuk, Volodymyr},
    year        = 2007,
    journal     = {Mathematica Bohemica},
    volume      = 132,
    doi         = {10.21136/mb.2007.134125},
    issue       = 3,
}
@article{Mitchell2021aa,
    title       = {An explicit algorithm for normal forms in small overlap monoids},
    author      = {J. D. Mitchell and M. Tsalakou},
    year        = 2021,
    journal     = {preprint},
    date-added  = {2021-03-09 15:23:03 +0000},
    date-modified = {2021-03-09 15:24:14 +0000},
}
@article{Kambites2009aa,
    title       = {Small overlap monoids. {I}. {T}he word problem},
    author      = {Kambites, Mark},
    year        = 2009,
    journal     = {J. Algebra},
    volume      = 321,
    number      = 8,
    pages       = {2187--2205},
    doi         = {10.1016/j.jalgebra.2008.09.038},
    issn        = {0021-8693},
    url         = {http://dx.doi.org/10.1016/j.jalgebra.2008.09.038},
    date-added  = {2021-03-09 15:23:00 +0000},
    date-modified = {2021-03-09 15:24:18 +0000},
    fjournal    = {Journal of Algebra},
    mrclass     = {20m05 (03d40)},
    mrnumber    = 2501517,
    mrreviewer  = {Noelle C. Antony},
    bdsk-url-1  = {http://www.ams.org/mathscinet-getitem?mr=2501517},
    bdsk-url-2  = {http://dx.doi.org/10.1016/j.jalgebra.2008.09.038},
}
@article{Kambites2009ab,
    title       = {Small overlap monoids. {II}. {A}utomatic structures and normal forms},
    author      = {Kambites, Mark},
    year        = 2009,
    journal     = {J. Algebra},
    volume      = 321,
    number      = 8,
    pages       = {2302--2316},
    doi         = {10.1016/j.jalgebra.2008.12.028},
    issn        = {0021-8693},
    url         = {http://dx.doi.org/10.1016/j.jalgebra.2008.12.028},
    date-added  = {2021-03-09 15:23:00 +0000},
    date-modified = {2021-03-09 15:24:17 +0000},
    fjournal    = {Journal of Algebra},
    mrclass     = {20m05 (20m35 68q45)},
    mrnumber    = 2501522,
    mrreviewer  = {Noelle C. Antony},
    bdsk-url-1  = {http://www.ams.org/mathscinet-getitem?mr=2501522},
    bdsk-url-2  = {http://dx.doi.org/10.1016/j.jalgebra.2008.12.028},
}
@misc{Gay1999aa,
    title       = {The 0-Rook Monoid and its Representation Theory},
    author      = {Gay, Jo{\"e}l and Hivert, Florent},
    year        = 2019,
    month       = {October},
    url         = {https://doi.org/10.48550/arXiv.1910.11740},
}
@misc{Godelle2009aa,
    title       = {A note on Renner monoids},
    author      = {Godelle, Eddy},
    year        = 2009,
    doi         = {10.48550/arxiv.0904.0926},
    url         = {https://arxiv.org/abs/0904.0926},
}
@article{Gilman1979,
    title       = {Presentations of groups and monoids},
    author      = {Robert H Gilman},
    year        = 1979,
    month       = {April},
    journal     = {Journal of Algebra},
    volume      = 57,
    number      = 2,
    pages       = {544--554},
}
@misc{Holt2018aa,
    title       = {kbmag -- {GAP} package, {V}ersion 1.5.9},
    author      = {Holt, Derek},
    year        = 2019,
    month       = {July},
    url         = {https://gap-packages.github.io/kbmag/},
    bdsk-url-1  = {https://gap-packages.github.io/kbmag/},
}
@book{Jantzen2012aa,
    title       = {Confluent string rewriting},
    author      = {Jantzen, Matthias},
    year        = 2012,
    publisher   = {Springer Science \& Business Media},
    volume      = 14,
    date-added  = {2019-12-20 14:27:56 +0000},
    date-modified = {2019-12-20 14:28:00 +0000},
}
@article{Moore1897aa,
    title       = {Concerning the abstract groups of order k!, k!/2, ...},
    author      = {Moore, E. H.},
    year        = 1897,
    journal     = {Proc. London Math. Soc.},
    volume      = 1,
    number      = 28,
    pages       = {357--366},
}
@book{Sims1994aa,
    title       = {Computation with finitely presented groups},
    author      = {Sims, Charles C.},
    year        = 1994,
    publisher   = {Cambridge University Press},
    address     = {Cambridge,, England, New York},
    series      = {Encyclopedia of mathematics and its applications},
    isbn        = {0-521-43213-8},
    url         = {http://opac.inria.fr/record=b1082972},
    date-added  = {2019-10-23 12:55:38 +0100},
    date-modified = {2019-10-23 12:55:38 +0100},
    bdsk-url-1  = {http://opac.inria.fr/record=b1082972},
}
@book{Knuth2009aa,
    title       = {The Art of Computer Programming, Volume 4, Fascicle 1: Bitwise Tricks \& Techniques; Binary Decision Diagrams},
    author      = {Knuth, Donald E.},
    year        = 2009,
    publisher   = {Addison-Wesley Professional},
    isbn        = {0321580508, 9780321580504},
    date-added  = {2019-10-22 15:37:10 +0100},
    date-modified = {2019-10-22 15:37:13 +0100},
    edition     = {12th},
}
@article{Jonusas2017aa,
    title       = {Two variants of the {F}roidure-{P}in algorithm for finite semigroups},
    author      = {Jonusas, Julius and Mitchell, James D. and Pfeiffer, Markus},
    year        = 2017,
    journal     = {Port. Math.},
    volume      = 74,
    number      = 3,
    pages       = {173--200},
    doi         = {10.4171/pm/2001},
    issn        = {0032-5155},
    url         = {https://doi.org/10.4171/PM/2001},
    date-added  = {2019-10-18 13:47:37 +0100},
    date-modified = {2019-10-18 13:52:37 +0100},
    fjournal    = {Portugaliae Mathematica. A Journal of the Portuguese Mathematical Society},
    mrclass     = {20m10 (20b40 20m20 68q42)},
    mrnumber    = 3763897,
    mrreviewer  = {Karim Ahmadidelir},
    bdsk-url-1  = {https://doi.org/10.4171/PM/2001},
}
@incollection{Froidure1997aa,
    title       = {Algorithms for computing finite semigroups},
    author      = {Froidure, V{\'e}ronique and Pin, Jean-Eric},
    year        = 1997,
    booktitle   = {Foundations of computational mathematics ({R}io de {J}aneiro, 1997)},
    publisher   = {Springer},
    address     = {Berlin},
    pages       = {112--126},
}
@article{Konieczny1994aa,
    title       = {Green's equivalences in finite semigroups of binary relations},
    author      = {Konieczny, Janusz},
    year        = 1994,
    journal     = {Semigroup Forum},
    volume      = 48,
    number      = 2,
    pages       = {235--252},
    doi         = {10.1007/bf02573672},
    issn        = {0037-1912},
    fjournal    = {Semigroup Forum},
    mrclass     = {20m20},
    mrnumber    = 1256691,
    mrreviewer  = {G. J. Lallement},
    bdsk-url-1  = {https://doi.org/10.1007/BF02573672},
}
@article{Lallement1990aa,
    title       = {On the determination of {G}reen's relations in finite transformation semigroups},
    author      = {Lallement, Gerard and McFadden, Robert},
    year        = 1990,
    journal     = {J. Symbolic Comput.},
    volume      = 10,
    number      = 5,
    pages       = {481--498},
    doi         = {10.1016/s0747-7171(08)80057-0},
    issn        = {0747-7171},
    fjournal    = {Journal of Symbolic Computation},
    mrclass     = {20m20 (68q45)},
    mrnumber    = 1087717,
    mrreviewer  = {Dominique Perrin},
    bdsk-url-1  = {https://doi.org/10.1016/S0747-7171(08)80057-0},
}
@article{Martin2013aa,
    title       = {Partitioned Binary Relations},
    author      = {Paul Martin and Volodymyr Mazorchuk},
    year        = 2013,
    journal     = {Mathematica Scandinavica},
    publisher   = {Mathematica Scandinavica},
    volume      = 113,
    number      = 1,
    pages       = {30--52},
    issn        = {00255521, 19031807},
    url         = {http://www.jstor.org/stable/24493105},
    bdsk-url-1  = {http://www.jstor.org/stable/24493105},
}
@inproceedings{Radoszewski2010aa,
    title       = {Efficient Testing of Equivalence of Words in a Free Idempotent Semigroup},
    author      = {Radoszewski, J. and Rytter, W.},
    year        = 2010,
    month       = {01},
    booktitle   = {SOFSEM 2010: Theory and Practice of Computer Science},
    pages       = {663--671},
    doi         = {10.1007/978-3-642-11266-9_55},
    bdsk-url-1  = {https://doi.org/10.1007/978-3-642-11266-9_55},
}
@phdthesis{Ruskuc1995aa,
    title       = {Semigroup presentations},
    author      = {Ruškuc, Nikola},
    year        = 1995,
    url         = {https://research-repository.st-andrews.ac.uk/handle/10023/2821},
    school      = {University of St Andrews},
}
