@techreport{IX8b,
title = { First Order Alternation },
author = {Iosif, Radu and Xu, Xiao},
year = {2018},
eprint = {1811.02398},
journal = {CoRR},
volume = {abs/1811.02398},
team = {RSD},
archiveprefix = {arXiv},
timestamp = {Thu, 22 Nov 2018 17:58:30 +0100},
biburl = {https://dblp.org/rec/bib/journals/corr/abs-1811-02398},
bibsource = {dblp computer science bibliography, https://dblp.org},
}