Checking NFA equivalence with bisimulations up to congruence. (2013)

by F Bonchi, D Pous
Venue:The 40th Annual ACM SIGPLANSIGACT Symposium POPL ’13.