@inproceedings{7174893,
    Author = {Figueira, Diego and Libkin, Leonid},
    BookTitle = {2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science},
    File = {Path Logics for Querying Graphs- Combining Expressiveness and Efficiency - figueira2015 - a.pdf},
    Pages = {329-340},
    Title = {Path Logics for Querying Graphs: Combining Expressiveness and Efficiency},
    Year = {2015},
    bdsk-url-1 = {https://doi.org/10.1109/LICS.2015.39},
    date-added = {2023-10-10 11:40:10 +0200},
    date-modified = {2023-10-10 11:40:10 +0200},
    doi = {10.1109/LICS.2015.39}
}

@inproceedings{7174893, Author = {Figueira, Diego and Libkin, Leonid}, BookTitle = {2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science}, File = {Path Logics for Querying Graphs- Combining Expressiveness and Efficiency - figueira2015 - a.pdf}, Pages = {329-340}, Title = {Path Logics for Querying Graphs: Combining Expressiveness and Efficiency}, Year = {2015}, bdsk-url-1 = {https://doi.org/10.1109/LICS.2015.39}, date-added = {2023-10-10 11:40:10 +0200}, date-modified = {2023-10-10 11:40:10 +0200}, doi = {10.1109/LICS.2015.39} }