Logics with Rank Operators.

Anuj Dawar, Martin Grohe, Bjarki Holm, Bastian Laubner

Browse the full LICS paper archive.