@misc{indiciae388e61944014, title = {Games with Ordered Outcomes}, year = {2018}, doi = {10.1007/s10958-018-4091-7}, url = {https://www.osti.gov/biblio/22773627}, note = {Source identifier: 22773627} }