TY  - RPRT
TI  - Succinctness of Order-Invariant Logics on Depth-Bounded Structures
AU  - Kord Eickmeyer
AU  - Michael Elberfeld
AU  - Frederik Harwath
PY  - 2016
UR  - https://arxiv.org/abs/1603.09055
ID  - 1603.09055
ER  -