TY  - RPRT
TI  - The Finite Satisfiability Problem for Two-Variable, First-Order Logic with one Transitive Relation is Decidable
AU  - Ian Pratt-Hartmann
PY  - 2017
DO  - 10.1002/malq.201700055
UR  - https://arxiv.org/abs/1707.05558
ID  - 1707.05558
ER  -