Testing modules for irreducibility DF Holt, S Rees Journal of the Australian Mathematical Society 57 (1), 1-16, 1994 | 169 | 1994 |

The use of Knuth-Bendix methods to solve the wordproblem in automatic groups DBA Epstein, DF Holt, SE Rees Journal of Symbolic Computation 12 (4-5), 397-414, 1991 | 66 | 1991 |

Groups with context-free co-word problem DF Holt, S Rees, CE Röver, RM Thomas Journal of the London Mathematical Society 71 (3), 643-657, 2005 | 65 | 2005 |

Recognizing badly presented Z-modules G Havas, DF Holt, S Rees Linear algebra and its applications 192, 137-163, 1993 | 54 | 1993 |

A graphics system for displaying finite quotients of finitely presented groups DF Holt, S Rees Groups and computation, DIMACS Ser. Discrete Math. Theoret. Comput. Sci 11 …, 1993 | 48 | 1993 |

Computing matrix group decompositions with respect to a normal subgroup DF Holt, CR Leedham-Green, EA O'Brien, S Rees Journal of Algebra 184 (3), 818-838, 1996 | 47 | 1996 |

Computing matrix group decompositions with respect to a normal subgroup DF Holt, CR Leedham-Green, EA O'Brien, S Rees Journal of Algebra 184 (3), 818-838, 1996 | 47 | 1996 |

Testing matrix groups for primitivity DF Holt, CR Leedham-Green, EA O'Brien, S Rees Journal of Algebra 184 (3), 795-817, 1996 | 35 | 1996 |

Artin groups of large type are shortlex automatic with regular geodesics DF Holt, S Rees Proceedings of the London Mathematical Society 104 (3), 486-512, 2012 | 33 | 2012 |

An implementation of the Neumann–Praeger algorithm for the recognition of special linear groups DF Holt, S Rees Experimental Mathematics 1 (3), 237-242, 1992 | 28 | 1992 |

An algorithmic approach to fundamental groups and covers of combinatorial cell complexes S Rees, LH Soicher Journal of Symbolic Computation 29 (1), 59-77, 2000 | 26 | 2000 |

Solving the word problem in real time DF Holt, S Rees Journal of the London Mathematical Society 63 (3), 623-639, 2001 | 23 | 2001 |

*C*_{3} geometries arising from the Klein quadricS Rees Geometriae Dedicata 18 (1), 67-85, 1985 | 23 | 1985 |

Sofic groups: graph products and graphs of groups L Ciobanu, DF Holt, S Rees Pacific J. Math 271 (1), 53-64, 2014 | 22 | 2014 |

Groups, languages and automata DF Holt, S Rees, CE Röver Cambridge University Press, 2017 | 21 | 2017 |

Testing for isomorphism between ﬁnitely presented groups. DF Holt, S Rees Groups, Combinatorics and Geometry 165, 459, 1992 | 20 | 1992 |

A characterisation of virtually free groups RH Gilman, S Hermiller, DF Holt, S Rees Archiv der Mathematik 89 (4), 289-295, 2007 | 19 | 2007 |

Quantum algorithms in group theory M Batty, SL Braunstein, AJ Duncan, S Rees arXiv preprint quant-ph/0310133, 52, 2003 | 18 | 2003 |

The subgroup structure of the Mathieu group 𝑀₁₂ F Buekenhout, S Rees Mathematics of Computation 50 (182), 595-605, 1988 | 16 | 1988 |

Finite*C*_{3} geometries in which all lines are thinS Rees Mathematische Zeitschrift 189 (2), 263-271, 1985 | 16 | 1985 |