Algorithm Theory – SWAT 2014 - R. Ravi, Inge Li Gørtz (Springer International Publishing, 2014)