Game tree algorithms and solution trees
scientific article; zbMATH DE number 1542315