@article{Urzyczyn_2016,
    doi = {10.1007/s11225-016-9661-4},
    url = {https://doi.org/10.1007%2Fs11225-016-9661-4},
    year = {2016},
    month = {feb},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {104},
    number = {5},
    pages = {957--1001},
    author = {Pawe{\l} Urzyczyn},
    title = {Intuitionistic Games: Determinacy, Completeness, and Normalization},
    journal = {Studia Logica}
}

@article{Urzyczyn_2016, doi = {10.1007/s11225-016-9661-4}, url = {https://doi.org/10.1007%2Fs11225-016-9661-4}, year = {2016}, month = {feb}, publisher = {Springer Science and Business Media {LLC}}, volume = {104}, number = {5}, pages = {957--1001}, author = {Pawe{\l} Urzyczyn}, title = {Intuitionistic Games: Determinacy, Completeness, and Normalization}, journal = {Studia Logica} }