TY  - RPRT
TI  - An Alternating Automaton for First-Order Linear Temporal Logic--Tech Report
AU  - Yannick Lebrun
AU  - Raphaël Khoury
AU  - Sylvain Hallé
PY  - 2016
UR  - https://arxiv.org/abs/1610.07080
ID  - 1610.07080
ER  -