@misc{indiciae043b654d4cd5,
  title = {Combinatorial Redundancy Detection},
  author = {Komei Fukuda and Bernd Gärtner and May Szedlák},
  year = {2014},
  url = {https://arxiv.org/abs/1412.1241},
  note = {Source identifier: 1412.1241}
}