@misc{indiciaebae1dbe0e0c3, title = {Unary negation fragment with equivalence relations has the finite model property}, author = {Daniel Danielski and Emanuel Kieronski}, year = {2018}, url = {https://arxiv.org/abs/1802.01318}, note = {Source identifier: 1802.01318} }