On Baker’s finite basis theorem for congruence distributive varieties
Stanley N. Burris · Proceedings of the American Mathematical Society · 1979
This paper contains the simplest, most direct proof of Baker’s Theorem to date together with an easy argument which shows how to find an exponential bound on the number of variables needed in a finite basis.