Details for the publication ChenHLT23.

Yu-Fang Chen (), Vojtech Havlena, Ondrej Lengál, Andrea Turrini: A symbolic algorithm for the case-split rule in solving word constraints with extensions. In J. Syst. Softw. 201:111673, 2023. DOI BIB