A logical characterization of extensive games with short sight
scientific article; zbMATH DE number 6521253