TY - RPRT TI - Successor-Invariant First-Order Logic on Classes of Bounded Degree AU - Julien Grange PY - 2021 DO - 10.46298/lmcs-17(3:20)2021 UR - https://arxiv.org/abs/2009.11758 ID - 2009.11758 ER -