Sawa, Z. and Jančar, P. 2012. Behavioural Equivalences on Finite-State Systems are PTIME-hard. Computing and Informatics. 24, 5 (Feb. 2012), 513–528.