@misc{indiciaefeeaedac36ef, title = {Slicewise definability in first-order logic with bounded quantifier rank}, author = {Yijia Chen and Joerg Flum and Xuangui Huang}, year = {2017}, url = {https://arxiv.org/abs/1704.03167}, note = {Source identifier: 1704.03167} }