@misc{indiciae73560beba815,
  title = {The Finite Satisfiability Problem for Two-Variable, First-Order Logic with one Transitive Relation is Decidable},
  author = {Ian Pratt-Hartmann},
  year = {2017},
  doi = {10.1002/malq.201700055},
  url = {https://arxiv.org/abs/1707.05558},
  note = {Source identifier: 1707.05558}
}