[AbdullaACDHHTWY21] Solving Not-Substring Constraint withFlat Abstraction Abdulla, P. A.; Atig, M. F.; Chen, Y.-F.; Diep, B. P.; Hol'ik, L.; Hu, D.; Tsai, W.-L.; Wu, Z. and Yen, D.-D. In APLAS, pages 305-320, Springer, Lecture Notes in Computer Science 13008, 2021.
Downloads: bibURL: https://doi.org/10.1007/978-3-030-89051-3_17