Slicewise Definability in First-Order Logic with Bounded Quantifier Rank.

Yijia Chen, Jrg Flum, Xuangui Huang

Browse the full CSL paper archive.