TY  - RPRT
TI  - Systems of Graph Formulas and their Equivalence to Alternating Graph Automata
AU  - Frank Drewes
AU  - Berthold Hoffmann
AU  - Mark Minas
PY  - 2026
UR  - https://arxiv.org/abs/2510.25260
ID  - 2510.25260
ER  -