@misc{indiciae377cc7dddd43,
  title = {State Elimination Ordering Strategies: Some Experimental Results},
  author = {Nelma Moreira and Davide Nabais and Rogério Reis},
  year = {2010},
  doi = {10.4204/eptcs.31.16},
  url = {https://arxiv.org/abs/1008.1656},
  note = {Source identifier: 1008.1656}
}