TY - RPRT TI - Alternating (In)Dependence-Friendly Logic AU - Dylan Bellier AU - Massimo Benerecetti AU - Dario Della Monica AU - Fabio Mogavero PY - 2023 UR - https://arxiv.org/abs/2304.11652 ID - 2304.11652 ER -