Pattern logics and auxiliary relations.

Diego Figueira, Leonid Libkin

Browse the full CSL paper archive.