Systems of Graph Formulas and their Equivalence to Alternating Graph Automata
AI summaries and top papers from 250M+ research sources.