@misc{indiciae830dc8057f94,
  title = {Algorithms for finding dispensable variables},
  author = {Mikolas Janota and Joao Marques-Silva and Radu Grigore},
  year = {2009},
  url = {https://arxiv.org/abs/0910.0013},
  note = {Source identifier: 0910.0013}
}