Inductive Definability with Counting on Finite Structures.

Erich Grdel, Martin Otto

Browse the full CSL paper archive.