TY  - RPRT
TI  - Parity Games and Automata for Game Logic (Extended Version)
AU  - Helle Hvid Hansen
AU  - Clemens Kupke
AU  - Johannes Marti
AU  - Yde Venema
PY  - 2017
UR  - https://arxiv.org/abs/1709.00777
ID  - 1709.00777
ER  -