1. 2022. The benchmarks selected at CHC-COMP 2021 . Retrieved May 6, 2022 from https://github.com/chc-comp/chc-comp21-benchmarks 2022. The benchmarks selected at CHC-COMP 2021. Retrieved May 6, 2022 from https://github.com/chc-comp/chc-comp21-benchmarks
2. 2022. The benchmarks selected at last SV-COMP. Retrieved May 6, 2022 from https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/tree/main/clausess 2022. The benchmarks selected at last SV-COMP. Retrieved May 6, 2022 from https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/tree/main/clausess
3. Rajeev Alur Rastislav Bodik Garvit Juniwal Milo M. K. Martin Mukund Raghothaman Sanjit A. Seshia Rishabh Singh Armando Solar-Lezama Emina Torlak and Abhishek Udupa. 2013. Syntax-guided synthesis. In 2013 Formal Methods in Computer-Aided Design. 1-8. https://doi.org/10.1109/FMCAD.2013.6679385 10.1109/FMCAD.2013.6679385
4. Rajeev Alur Rastislav Bodik Garvit Juniwal Milo M. K. Martin Mukund Raghothaman Sanjit A. Seshia Rishabh Singh Armando Solar-Lezama Emina Torlak and Abhishek Udupa. 2013. Syntax-guided synthesis. In 2013 Formal Methods in Computer-Aided Design. 1-8. https://doi.org/10.1109/FMCAD.2013.6679385
5. Nikolaj Bjørner , Arie Gurfinkel , Ken McMillan , and Andrey Rybalchenko . 2015. Horn Clause Solvers for Program Verification . Springer International Publishing , Cham , 24–51. https://doi.org/10.1007/978-3-319-23534-9_2 10.1007/978-3-319-23534-9_2 Nikolaj Bjørner, Arie Gurfinkel, Ken McMillan, and Andrey Rybalchenko. 2015. Horn Clause Solvers for Program Verification. Springer International Publishing, Cham, 24–51. https://doi.org/10.1007/978-3-319-23534-9_2