TY - RPRT TI - Good-for-Game QPTL: An Alternating Hodges Semantics AU - Dylan Bellier AU - Massimo Benerecetti AU - Dario Della Monica AU - Fabio Mogavero PY - 2021 UR - https://arxiv.org/abs/2104.06085 ID - 2104.06085 ER -