Linares López, C.; Stern, R.; Felner, A. Solving the Target-Value Search Problem. SOCS 2014, 5, 202-203.