TY  - RPRT
TI  - Slicewise definability in first-order logic with bounded quantifier rank
AU  - Yijia Chen
AU  - Joerg Flum
AU  - Xuangui Huang
PY  - 2017
UR  - https://arxiv.org/abs/1704.03167
ID  - 1704.03167
ER  -