[1] J.  Lawrence and R.  Willard: On finitely based groups and nonfinitely based quasivarieties. J. Algebra 203 (1998), 1–11. MR 1620693

[2] R.  McKenzie: The residual bounds of finite algebras. Internat. J. Alg. Comput. 6 (1996), 1–28. MR 1371732 | Zbl 0844.08009

[3] R.  McKenzie: The residual bound of a finite algebra is not computable. Internat. J. Alg. Comput. 6 (1996), 29–48. MR 1371733 | Zbl 0844.08010

[4] R.  McKenzie: Tarski’s finite basis problem is undecidable. Internat. J. Alg. Comput. 6 (1996), 49–104. MR 1371734 | Zbl 0844.08011

[5] R.  McKenzie, G.  McNulty and W.  Taylor: Algebras, Lattices, Varieties, Vol.  I. Wadsworth & Brooks/Cole, Monterey, 1987. MR 0883644

[6] D.  Pigozzi: Finite basis theorems for relatively congruence-distributive quasivarieties. Transactions of the  AMS 310 (1988), 499–533. MR 0946222 | Zbl 0706.08009