Graph Logics with Rational Relations and the Generalized Intersection Problem.

Pablo Barcel, Diego Figueira, Leonid Libkin

Browse the full LICS paper archive.