1. Implicational algebras;Abbott;Bull. Math. Soc. Sci. Math. R. S. Roumanie,1967
2. Equational axioms for classes of lattices;Baker;Bull. Amer. Math. Soc.,1971
3. Equational bases for finite algebras;Baker;Notices Amer. Math. Soc.,1972
4. Primitive satisfaction and equational problems for lattices and other algebras;Baker;Trans. Amer. Math. Soc.,1974
5. K. Baker, Equational axioms for classes of Heyting algebras, Algebra Universalis, to appear.