@misc{indiciae2f319c0ea741, title = {The Markov chain tree theorem and the state reduction algorithm in commutative semirings}, author = {Buket Benek Gursoy and Steve Kirkland and Oliver Mason and Sergei Sergeev}, year = {2013}, doi = {10.1016/j.laa.2014.06.028}, url = {https://arxiv.org/abs/1312.7094}, note = {Source identifier: 1312.7094} }