Brendan D. McKay Isomorph-Free Exhaustive Generation. 306-324 1998 26 J. Algorithms 2 db/journals/jal/jal26.html#McKay98