Unary negation fragment with equivalence relations has the finite model property.

Daniel Danielski, Emanuel Kieronski

Browse the full LICS paper archive.