DOI,IST REx ID,Research Group,Title of publication
10.1145/2701001,1866,ToHe,The equivalence problem for finite automata: Technical perspective