The Complexity of Bisimulation and Simulation on Finite Systems (Logical Methods in Computer Science, 2018)