Checking NFA equivalence with bisimulations up to congruence (2013)

by Filippo Bonchi, Damien Pous
Venue:In POPL