Path Logics for Querying Graphs: Combining Expressiveness and Efficiency.

Diego Figueira, Leonid Libkin

Browse the full LICS paper archive.