Restricted space algorithms for isomorphism on bounded treewidth graphs
scientific article; zbMATH DE number 6092981