Wojciech Dzik, Ewa Orlowska, Clint J. van Alten: Relational Representation Theorems for General Lattices with Negations. RelMiCS 2006: 162-176