@inproceedings{Hojjat_2018,
    doi = {10.23919/fmcad.2018.8603013},
    url = {https://doi.org/10.23919%2Ffmcad.2018.8603013},
    year = {2018},
    month = {oct},
    publisher = {{IEEE}},
    author = {Hossein Hojjat and Philipp Rummer},
    title = {The {ELDARICA} Horn Solver},
    booktitle = {2018 Formal Methods in Computer Aided Design ({FMCAD})}
}

@inproceedings{Hojjat_2018, doi = {10.23919/fmcad.2018.8603013}, url = {https://doi.org/10.23919%2Ffmcad.2018.8603013}, year = {2018}, month = {oct}, publisher = {{IEEE}}, author = {Hossein Hojjat and Philipp Rummer}, title = {The {ELDARICA} Horn Solver}, booktitle = {2018 Formal Methods in Computer Aided Design ({FMCAD})} }