Ralph McKenzie

• Algebras, lattices, varieties
• The structure of decidable locally finite varieties