_id,doi,title
1866,10.1145/2701001,The equivalence problem for finite automata: Technical perspective