Mitja Kulczynski, Kevin Lotz, Florin Manea, Danny Poulsen, and Paul Sarnighausen-Cahn. 2024.
 SMTQuery: Analysing SMT-LIB String Benchmarks. In <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais</em>, dezembro 04, 2024, Vitória/ES, Brasil. SBC, Porto Alegre, Brasil, 22-34.