Kulczynski, M., 		Lotz, K., 		Manea, F., 		Poulsen, D., & 		Sarnighausen-Cahn, P.
2024 Dec  4.  SMTQuery: Analysing SMT-LIB String Benchmarks. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :