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,
}











