Loris D'Antoni, Margus Veanes
Monadic second-order logic on finite sequences
POPL, 2017.
@inproceedings{POPL-2017-DAntoniV,
author = "Loris D'Antoni and Margus Veanes",
booktitle = "{Proceedings of the 44th Symposium on Principles of Programming Languages}",
isbn = "978-1-4503-4660-3",
pages = "232--245",
publisher = "{ACM}",
title = "{Monadic second-order logic on finite sequences}",
year = 2017,
}