OpenAlex
The isomorphism problem for ω-automatic trees
Work