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

Structure of finite algebras D Hobby, R McKenzie American Mathematical Society, 1988 | 604 | 1988 |

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

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

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

Existence theorems for weakly symmetric operations M Maróti, R McKenzie Algebra universalis 59 (3), 463-489, 2008 | 163 | 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 | 152 | 2010 |

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

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 | 119 | 2010 |

The logic of time representation PB Ladkin University California, Berkeley, 1987 | 117 | 1987 |

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 | 116 | 1973 |

Tarski’s finite basis problem is undecidable R McKenzie International Journal of Algebra and Computation 6 (01), 49-104, 1996 | 107 | 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 | 99 | 1978 |

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

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

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

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

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

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

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