@article{whylocalsearchexcelsinexpression,
  title = {Why Local Search Excels in Expression Simplification},
  author = {Ben Ruijl and Aske Plaat and Jos Vermaseren and Jaap van den Herik},
  year = {2014},
  eprint = {1409.5223},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1409.5223v1},
}