@INPROCEEDINGS{MPB-GM:SMT2019:Eos,
AUTHOR = "Maria Paola Bonacina and Giulio Mazzi",
TITLE = "The {\em {E}os} {SMT}/{SMA}-solver: a preliminary report",
BOOKTITLE = "Proceedings of the 17th International Workshop on Satisfiability Modulo Theories (SMT)",
EDITOR = "Natasha Sharygina and Joe Hendrix",
PAGES = "1--10",
MONTH = "July",
NOTE = "Available at \url{http://smt2019.galois.com/proceedings.html}"
YEAR = 2019}