TY  - RPRT
TI  - Satisfiability for two-variable logic with two successor relations on finite linear orders
AU  - Diego Figueira
PY  - 2013
UR  - https://arxiv.org/abs/1204.2495
ID  - 1204.2495
ER  -