TY  - RPRT
TI  - On the satisfiability problem for fragments of the two-variable logic with one transitive relation
AU  - Wiesław Szwast
AU  - Lidia Tendera
PY  - 2019
UR  - https://arxiv.org/abs/1804.09447
ID  - 1804.09447
ER  -