A new proof of Reiterman's theorem
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 35 (1994) no. 3, pp. 239-247. 
@article{CTGDC_1994__35_3_239_0,
     author = {Jarzembski, Grzegorz},
     title = {A new proof of {Reiterman's} theorem},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {239--247},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {35},
     number = {3},
     year = {1994},
     mrnumber = {1295119},
     zbl = {0812.08009},
     language = {en},
     url = {http://www.numdam.org/item/CTGDC_1994__35_3_239_0/}
}
TY  - JOUR
AU  - Jarzembski, Grzegorz
TI  - A new proof of Reiterman's theorem
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 1994
SP  - 239
EP  - 247
VL  - 35
IS  - 3
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://www.numdam.org/item/CTGDC_1994__35_3_239_0/
LA  - en
ID  - CTGDC_1994__35_3_239_0
ER  - 
%0 Journal Article
%A Jarzembski, Grzegorz
%T A new proof of Reiterman's theorem
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1994
%P 239-247
%V 35
%N 3
%I Dunod éditeur, publié avec le concours du CNRS
%U http://www.numdam.org/item/CTGDC_1994__35_3_239_0/
%G en
%F CTGDC_1994__35_3_239_0
Jarzembski, Grzegorz. A new proof of Reiterman's theorem. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 35 (1994) no. 3, pp. 239-247. http://www.numdam.org/item/CTGDC_1994__35_3_239_0/

[1] B. Banaschewski, The Birkhoff theorem for varieties of finite algebras, Algebra Universalis 17(1983), 360-368. | MR | Zbl

[2] E. Manes, Algebraic Theories, Graduate Texts in Math. 26, Springer-Verlag, Berlin 1976. | MR | Zbl

[3] J. Reiterman, The Birkhoff theorem for finite algebras, Algebra Universalis 14, no.1 (1982),1-10. | MR | Zbl