Sawa, Z.; Jančar, P. Behavioural Equivalences on Finite-State Systems Are PTIME-Hard. Comput. Inform. 2012, 24, 513-528.