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

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

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

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

Algebras R McKenzie, G McNulty, W Taylor Lattices, Varieties 1, 1987 | 266 | 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 | 211 | 1987 |

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

Equational bases for lattice theories R McKenzie Mathematica Scandinavica 27 (1), 24-38, 1970 | 141 | 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 | 130 | 2010 |

The logic of time representation PB Ladkin University California, Berkeley, 1987 | 122 | 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 | 118 | 1973 |

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

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 |

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

An algebraic version of categorical equivalence for varieties and more general algebraic categories R McKenzie Lecture Notes in Pure and Applied Mathematics, 211-244, 1996 | 89 | 1996 |

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

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

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