Game tree algorithms and solution trees door A. de Bruin & W. Pijls