Birgit Reinert Klaus Madlener Teo Mora A Note on Nielsen Reduction and Coset Enumeration. 171-178 1998 ISSAC http://doi.acm.org/10.1145/281508.281607 db/conf/issac/issac98.html#ReinertMM98