Kulczynski, M., 		Lotz, K., 		Manea, F., 		Poulsen, D., & 		Sarnighausen-Cahn, P.
(2024).
 SMTQuery: Analysing SMT-LIB String Benchmarks.
In <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais</em>, (pp. 22-34). Porto Alegre: SBC.