Unary negation fragment with equivalence relations has the finite model property. - Daniel Danielski; Emanuel Kieronski (LICS, 2018)

Finite Satisfiability of Unary Negation Fragment with Transitivity (Extended Abstract). - Daniel Danielski; Emanuel Kieronski (Description Logics, 2019)

Finite Satisfiability of Unary Negation Fragment with Transitivity. - Daniel Danielski; Emanuel Kieronski (MFCS, 2019)