DOI,IST REx ID,Title of publication
10.1142/S0129054108005814 ,4532,Equivalence of labeled Markov chains