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

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

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

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

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

Algebras, lattices, varieties. Vol. I. The Wadsworth & Brooks/Cole Mathematics Series. Wadsworth & Brooks RN McKenzie, GF McNulty, WF Taylor Cole Advanced Books & Software, Monterey, CA, 1987 | 214 | 1987 |

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

Equational bases for lattice theories R McKenzie Mathematica Scandinavica 27 (1), 24-38, 1970 | 146 | 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 | 132 | 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 | 122 | 1973 |

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

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

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

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

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

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

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

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