1. Moore, Matthew; Walenczyk, Taylor. The Hidden Subgroup Problem for Universal Algebras. Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '20), July 8 – 11, 2020, Saarbrucken, Germany. Preprint: https://arxiv.org/abs/2001.11298.
  2. Moore, Matthew. Finite degree clones are undecidable. Theoretical Computer Science 796 (2019), 237-271. Preprint: http://arxiv.org/abs/1811.05056. Code: [zip].
  3. Moore, Matthew; Moorhead, Andrew. Supernilpotence need not imply nilpotence. Journal of Algebra 535 (2019), 225-250. Preprint: http://arxiv.org/abs/1808.04858.
  4. Kazda, Alexandr; Kozik, Marcin; McKenzie, Ralph; Moore, Matthew. Absorption and directed Jonsson terms. Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, 203-220. Springer, 2018. Preprint: http://arxiv.org/abs/1502.01072.
  5. Jovanovic, Jelena; Markovic, Petar; McKenzie, Ralph; Moore, Matthew. Optimal strong Maltsev conditions for congruence meet-semidistributivity in locally finite varieties. Algebra Universalis 76 (2016), no. 3, 305-325. Preprint: [pdf].
  6. Moore, Matthew. Naturally dualizable algebras omitting types 1 and 5 have a cube term. Algebra Universalis 75 (2016), no. 2, 221-230. Preprint: http://arxiv.org/abs/1403.7677.
  7. Moore, Matthew. The variety generated by A(T) — two counterexamples. Algebra Universalis 75 (2016), no. 1, 21-31. Preprint: http://arxiv.org/abs/1304.4659.
  8. Moore, Matthew. The undecidability of the definability of principal subcongruences. J. Symb. Log. 80 (2015), no. 2, 384-432. Preprint: http://arxiv.org/abs/1301.5588.