Z. Sawa and P. Jančar, “Behavioural Equivalences on Finite-State Systems are PTIME-hard”, Comput. Inform., vol. 24, no. 5, pp. 513–528, Feb. 2012.