@misc{indiciae38bb2cc6f73b,
  title = {On the satisfiability problem for fragments of the two-variable logic with one transitive relation},
  author = {Wiesław Szwast and Lidia Tendera},
  year = {2019},
  url = {https://arxiv.org/abs/1804.09447},
  note = {Source identifier: 1804.09447}
}