## Damien Pous

*Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests*

POPL, 2015.

@inproceedings{POPL-2015-Pous, author = "Damien Pous", booktitle = "{Proceedings of the 42nd Symposium on Principles of Programming Languages}", doi = "10.1145/2676726.2677007", isbn = "978-1-4503-3300-9", pages = "357--368", publisher = "{ACM}", title = "{Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests}", year = 2015, }