Logics with Counting, Auxiliary Relations, and Lower Bounds for Invariant Queries.

Leonid Libkin

Browse the full LICS paper archive.