Combinatorial Search Problems lectures held at the Dep. for Automation and Information June 1972, Udine - Katona, Gyula (Springer, 1972)