1. Abdulla, P.A., et al.: TRAU: SMT solver for string constraints. In: Formal Methods in Computer Aided Design, FMCAD 2018 (2018)
2. Lecture Notes in Computer Science;PA Abdulla,2014
3. Amadini, R., Gange, G., Stuckey, P.J.: Sweep-based propagation for string constraint solving. In: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI 2018), the 30th Innovative Applications of Artificial Intelligence (IAAI 2018), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI 2018), New Orleans, Louisiana, USA, 2–7 February 2018, pp. 6557–6564 (2018).
https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16223
4. Backes, J., et al.: Semantic-based automated reasoning for AWS access policies using SMT. In: Bjørner, N., Gurfinkel, A. (eds.) 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, 30 October–2 November 2018, pp. 1–9. IEEE (2018).
https://doi.org/10.23919/FMCAD.2018.8602994
5. Barceló, P., Hong, C., Le, X.B., Lin, A.W., Niskanen, R.: Monadic decomposability of regular relations. In: 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, Patras, Greece, pp. 103:1–103:14 (2019).
https://doi.org/10.4230/LIPIcs.ICALP.2019.103