Minimal and Canonical Images. - Christopher Jefferson; Eliza Jonauskyte; Markus Pfeiffer; Rebecca Waldecker (CoRR, 2017)

Orbital Graphs. - Christopher Jefferson; Markus Pfeiffer; Rebecca Waldecker (CoRR, 2017)

Questions on Orbital Graphs. - Paula Hähndel; Rebecca Waldecker (ICMS, 2018)

New refiners for permutation group search. - Christopher Jefferson; Markus Pfeiffer; Rebecca Waldecker (J. Symb. Comput., 2019)

Perfect refiners for permutation group backtracking algorithms. - Christopher Jefferson; Rebecca Waldecker; Wilf A. Wilson (J. Symb. Comput., 2023)