TY  - RPRT
TI  - Expressivity within second-order transitive-closure logic
AU  - Flavio Ferrarotti
AU  - Jan Van den Bussche
AU  - Jonni Virtema
PY  - 2018
UR  - https://arxiv.org/abs/1804.05926
ID  - 1804.05926
ER  -