TY  - RPRT
TI  - A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor
AU  - Amaldev Manuel
AU  - Thomas Schwentick
AU  - Thomas Zeume
PY  - 2013
UR  - https://arxiv.org/abs/1306.3418
ID  - 1306.3418
ER  -