Jan van Leeuwen Derick Wood Dynamization of Decomposable Searching Problems. 51-56 1980 10 Inf. Process. Lett. 2 db/journals/ipl/ipl10.html#LeeuwenW80