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

A. Kisielewicz. Austin identities. Algebra Universalis, 38(3):324–328, 1997.

5

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.

6

Donald E. Knuth. Notes on central groupoids. J. Combinatorial Theory, 8:376–390, 1970.

7

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.

8

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.

9

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.

10

N. S. Mendelsohn and R. Padmanabhan. Minimal identities for Boolean groups. J. Algebra, 34:451–457, 1975.

11

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.

12

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.