OpenAlex
On the computational complexity of bisimulation, redux
Work