@article{tocl23,
author = {Bellier, Dylan and Benerecetti, Massimo
          and Della Monica, Dario
	  and Mogavero, Fabio},
title = {Good-for-Game {QPTL}: An Alternating
         {H}odges Semantics},
year = {2023},
issue_date = {January 2023},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {24},
number = {1},
issn = {1529-3785},
url = {https://doi.org/10.1145/3565365},
doi = {10.1145/3565365},
journal = {ACM Trans. Comput. Logic (ToCL)},
month = {jan},
articleno = {4},
numpages = {57},
}