Details for the publication AbdullaACDHHTWY21.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen (), Bui Phi Diep, Lukás Holík, Denghang Hu, Wei-Lun Tsai, Zhilin Wu (), Di-De Yen: Solving Not-Substring Constraint with Flat Abstraction. In Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings, volume 13008 of Lecture Notes in Computer Science, pages 305-320, 2021. DOI BIB