On pruning search trees of impartial games
scientific article; zbMATH DE number 7191354
scientific article