TY  - RPRT
TI  - Finite Satisfiability of Unary Negation Fragment with Transitivity
AU  - Daniel Danielski
AU  - Emanuel Kieronski
PY  - 2019
UR  - https://arxiv.org/abs/1809.03245
ID  - 1809.03245
ER  -