References
- Baumslag, G. (1993). Topics in Combinatorial Group Theory. Basel: Birkhauser.
- Book, R., Otto, F. (1993). String Rewriting Systems. New York: Springer-Verlag.
- Burris, S., Sankappanavar, H. (1981). A Course in Universal Algebra. New York: Springer-Verlag.
- Campbell, C., Robertson, E., Ruskuc, N., Thomas, R. (1995). Reidermeister-Schreier Type rewriting for semigroups. Semigroup Forum. 51(1):47–62.
- Gould, V. (1987). Completely right pure monoids. Proc. Royal Irish Acad. 87A:73–82.
- Gould, V. (1992). Coherent monoids. Jaz. Soc. 53(2):166–182.
- Gould, V. (2007). A notion of rank for right congruence on inverse semigroups. Baz. Soc. 76(1):55–68.
- Gould, V., Hartmann, M. (2017). Coherency, free inverse monoids and related free algebras. Math. Proc. Camb. Phil. Soc. 163(1):23–45.
- Gould, V., Hartmann, M., Ruškuc, N. (2016). Free monoids are coherent. Proc. Ediniburgh Math. Soc. 60(1):127–131.
- Howie, J. (1995). Fundamentals of Semigroup Theory. New York: Clarendon Press.
- Kilp, M., Knauer, U., Mikhalev, A. (2000). Monoids, Acts and Categories. Berlin: Walter de Gruyter.
- Magnus, W., Karrass, A., Solitar, D. (2004). Combinatorial Group Theory: Presentations of Groups in Terms of Generators and Relations. Chelmsford, MA: Courier Corporation.
- Normak, P. (1977). On Noetherian and finitely presented acts (in Russian). Tartu Ul. Toimetised. 431:37–46.
- Ruškuc, N. (1995). Semigroup Presentations. Ph.D. thesis. University of St Andrews.
- Ruškuc, N. (1998). On large subsemigroups and finiteness conditions of semigroups. Proc. London Math. Soc. 76(2):383–405.