Reasoning about games
scientific article; zbMATH DE number 5977626
scientific article