Pablo Barceló, Diego Figueira, Leonid Libkin
Graph Logics with Rational Relations and the Generalized Intersection Problem
LICS, 2012.
@inproceedings{LICS-2012-BarceloFL, author = "Pablo Barceló and Diego Figueira and Leonid Libkin", booktitle = "{Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2012.23", isbn = "978-1-4673-2263-8", pages = "115--124", publisher = "{IEEE Computer Society}", title = "{Graph Logics with Rational Relations and the Generalized Intersection Problem}", year = 2012, }