An implementation of the Neumann-Praeger algorithm for the recognition of special linear groups. Holt, Derek F.; Rees, Sarah — 1992 Experimental Mathematics
Free quotients of finitely presented groups. Holt, Derek F.; Rees, Sarah — 1996 Experimental Mathematics