@article{thecomplexityofgraphbasedreductionsfor,
  title = {The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes},
  author = {Stephane Le Roux and Guillermo A. Perez},
  year = {2017},
  eprint = {1710.07903},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1710.07903v4},
}