M. Kulczynski, K. Lotz, F. Manea, D. Poulsen, and P. Sarnighausen-Cahn.
" SMTQuery: Analysing SMT-LIB String Benchmarks", in <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais</em>, Vitória/ES, 2024, pp. 22-34.