@inproceedings{IX9,
title = { {Alternating Automata Modulo First Order Theories} },
author = {Iosif, Radu and Xu, Xiao},
month = {Jul},
year = {2019},
booktitle = {{Computer Aided Verification - 31st International Conference}},
address = {New York, United States},
pages = {43-63},
team = {RSD, axe_Mohytos},
pdf = {https://hal.archives-ouvertes.fr/hal-02387992/file/final.pdf},
hal_id = {hal-02387992},
hal_version = {v1},
}
