Bruggink, H. S.; Hülsbusch, M.; König, B. Towards Alternating Automata for Graph Languages. ECEASST 2012, 47.