Algebras, lattices, varieties RN McKenzie, GF McNulty, WF Taylor American Mathematical Soc., 2018 | 982 | 2018 |

The structure of finite algebras D Hobby, R McKenzie American Mathematical Society, 1988 | 666 | 1988 |

Commutator theory for congruence modular varieties R Freese, R McKenzie CUP Archive, 1987 | 544 | 1987 |

Equational bases and nonmodular lattice varieties R McKenzie Transactions of the American Mathematical Society 174, 1-43, 1972 | 304 | 1972 |

Algebras R McKenzie, G McNulty, W Taylor Lattices, Varieties 1, 1987 | 289 | 1987 |

Existence theorems for weakly symmetric operations M Maróti, R McKenzie Algebra universalis 59 (3-4), 463-489, 2008 | 199 | 2008 |

Tractability and learnability arising from algebras with few subpowers P Idziak, P Marković, R McKenzie, M Valeriote, R Willard SIAM Journal on Computing 39 (7), 3023-3037, 2010 | 184 | 2010 |

Equational bases for lattice theories R McKenzie Mathematica Scandinavica 27 (1), 24-38, 1970 | 149 | 1970 |

Varieties with few subalgebras of powers J Berman, P Idziak, P Marković, R McKenzie, M Valeriote, R Willard Transactions of the American Mathematical Society 362 (3), 1445-1473, 2010 | 139 | 2010 |

An elementary construction of unsolvable word problems in group theory R McKenzie, RJ Thompson Studies in Logic and the Foundations of Mathematics 71, 457-478, 1973 | 134 | 1973 |

Tarski’s finite basis problem is undecidable R McKenzie International Journal of Algebra and Computation 6 (01), 49-104, 1996 | 118 | 1996 |

Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties R McKenzie Algebra Universalis 8 (1), 336-348, 1978 | 107 | 1978 |

On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model1 R McKenzie The Journal of Symbolic Logic 40 (2), 186-196, 1975 | 102 | 1975 |

Cardinal multiplication of structures with a reflexive relation R McKenzie Fundamenta Mathematicae 70 (1), 59-101, 1971 | 101 | 1971 |

An algebraic version of categorical equivalence for varieties and more general algebraic categories R McKenzie Logic and algebra, 211-243, 2017 | 95 | 2017 |

Decidability and Boolean representations S Burris, R McKenzie American Mathematical Soc., 1981 | 91 | 1981 |

Residually small varieties with modular congruence lattices R Freese, R McKenzie Transactions of the American Mathematical Society 264 (2), 419-430, 1981 | 75 | 1981 |

Structure of Decidable Locally Finite Varieties R McKenzie, M Valeriote Springer Science & Business Media, 2012 | 73 | 2012 |

Finite forbidden lattices R McKenzie Universal algebra and lattice theory, 176-205, 1983 | 71 | 1983 |

Finite equational bases for congruence modular varieties R McKenzie Algebra Universalis 24 (3), 224-250, 1987 | 65 | 1987 |