@misc{indiciae32b504fb228a, title = {New refiners for permutation group search}, author = {Christopher Jefferson and Markus Pfeiffer and Rebecca Waldecker}, year = {2017}, url = {https://arxiv.org/abs/1608.08489}, note = {Source identifier: 1608.08489} }