@misc{indiciae8948764c2d9c,
  title = {Satisfiability for two-variable logic with two successor relations on finite linear orders},
  author = {Diego Figueira},
  year = {2013},
  url = {https://arxiv.org/abs/1204.2495},
  note = {Source identifier: 1204.2495}
}