On the computational complexity of bisimulation, redux
scientific article; zbMATH DE number 2126482
scientific article