Jørgensen, J. B. (2002) “Construction of Occurrence Graphs with Permutation Symmetries Aided by the Backtrack Method”, DAIMI Report Series, 26(516). doi: 10.7146/dpb.v26i516.7045.