Lukás Holík, Petr Janku, Anthony W. Lin, Philipp Rümmer, Tomás Vojnar
String constraints with concatenation and transducers solved efficiently
POPL, 2018.
@article{POPL-2018-HolikJLRV,
author = "Lukás Holík and Petr Janku and Anthony W. Lin and Philipp Rümmer and Tomás Vojnar",
doi = "10.1145/3158092",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "32",
publisher = "{ACM}",
title = "{String constraints with concatenation and transducers solved efficiently}",
volume = 2,
year = 2018,
}