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