@inproceedings{linares-lopez-et-al_cs2014,
  author       = {Linares López, Carlos and Stern, Roni and Felner, Ariel},
  pages        = {202 -- 203},
  title        = {Solving the target-value search problem},
  year         = 2014,
  booktitle    = {Proceedings of the 7th Annual Symposium on Combinatorial Search, SoCS
    2014},
}