Sawa, Z., & Jančar, P. (2005). Behavioural Equivalences on Finite-State Systems are PTIME-hard. Computing and Informatics, 24(5), 513–528. https://cai.type.sk/content/2005/5/behavioural-equivalences-on-finite-state-systems-are-ptime-hard/