Simon Busard Charles Pecheur Hongyang Qu 0001 Franco Raimondi Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. 128-156 2015 242 Inf. Comput. https://doi.org/10.1016/j.ic.2015.03.014 db/journals/iandc/iandc242.html#BusardPQR15