C W Lam;L Thiel;S Swiercz
-;-;-
Backtrack search with isomorph rejection and consistency check
Journal of Symbolic Computation