Gene Cooperman Victor Grinberg Scalable parallel coset enumeration using bulk definition. 77-84 2001 ISSAC http://doi.acm.org/10.1145/384101.384113 db/conf/issac/issac2001.html#CoopermanG01