H. Hüttel and S. Shukla, “On the Complexity of Deciding Behavioural Equivalences and Preorders. A Survey”, BRICS, vol. 3, no. 39, Jun. 1996.