Kulczynski, M., 		Lotz, K., 		Manea, F., 		Poulsen, D., & 		Sarnighausen-Cahn, P.
2024 dez  4.  SMTQuery: Analysing SMT-LIB String Benchmarks. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :