H uttel and Sandeep Shukla. On the Complexity of Deciding Behavioural Equivalences and Preorders -- A Survey (1996)

by RS-96-39 Hans