Kulczynski, Mitja, Kevin Lotz, Florin Manea, Danny Bøgsted Poulsen, and Paul Sarnighausen-Cahn.
" SMTQuery: Analysing SMT-LIB String Benchmarks." <em>Proceedings of the 27th Brazilian Symposium on Formal Methods,
Vitória/ES, 2024</em>. SBC, 2024,  
pp.22-34.