@article{pereira2024smt,title={Smt. ml: A Multi-Backend Frontend for SMT Solvers in OCaml},author={Pereira, Jo{\~a}o Madeira and Marques, Filipe and Ad{\~a}o, Pedro and Ait El Hara, Hichem Rami and Andr{\`e}s, L{\'e}o and Carcano, Arthur and Chambart, Pierre and Santos, Nuno and Santos, Jos{\'e} Fragoso},year={2024},}
@mastersthesis{pereira_msc_2024,author={Pereira, Jo{\~a}o Madeira},title={A Multi-Backend Frontend for SMT Solvers in OCaml},school={Instituto Superior T\'{e}cnico},year={2024},}