Kulczynski, Mitja, 		Lotz, Kevin, 		Manea, Florin, 		Poulsen, Danny, E 		Sarnighausen-Cahn, Paul.
" SMTQuery: Analysing SMT-LIB String Benchmarks" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (4 dezembro 2024)