Bibliography

1: A. K. Austin. A note on models of identities. Proc. Amer. Math. Soc., 16:522–523, 1965.
2: A. K. Austin. Finite models for laws in two variables. Proc. Amer. Math. Soc., 17:1410–1412, 1966.
3: Franz Baader and Tobias Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.
4: Joel Berman and Stanley Burris. A computer study of $3$ -element groupoids. In Logic and algebra (Pontignano, 1994), volume 180 of Lecture Notes in Pure and Appl. Math., pages 379–429. Dekker, New York, 1996.
5: A. Kisielewicz. Austin identities. Algebra Universalis, 38(3):324–328, 1997.
6: Andrzej Kisielewicz. Varieties of algebras with no nontrivial finite members. In Lattices, semigroups, and universal algebra (Lisbon, 1988), pages 129–136. Plenum, New York, 1990.
7: Donald E. Knuth. Notes on central groupoids. J. Combinatorial Theory, 8:376–390, 1970.
8: Donald E. Knuth and Peter B. Bendix. Simple word problems in universal algebras. In Computational Problems in Abstract Algebra (Proc. Conf., Oxford, 1967), pages 263–297. Pergamon, Oxford-New York-Toronto, Ont., 1970.
9: Thomas Koehler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, and Michel Steuwer. Guided equality saturation. Proc. ACM Program. Lang., 8(POPL):1727–1758, 2024.
10: William McCune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, and Larry Wos. Short single axioms for Boolean algebra. J. Automat. Reason., 29(1):1–16, 2002.
11: N. S. Mendelsohn and R. Padmanabhan. Minimal identities for Boolean groups. J. Algebra, 34:451–457, 1975.
12: Henry Maurice Sheffer. A set of five independent postulates for Boolean algebras, with application to logical constants. Trans. Amer. Math. Soc., 14(4):481–488, 1913.
13: Max Willsey, Chandrakana Nandi, Yisu Remy Wang, Oliver Flatt, Zachary Tatlock, and Pavel Panchekha. egg: Fast and extensible equality saturation. Proc. ACM Program. Lang., 5(POPL):1–29, 2021.