Recursively presented games and strategies
complexity of the set of winning strategies
scientific article; zbMATH DE number 77888