The complexity of testing the equivalence of transition sequences
2005 ◽
pp. 48-57