Wendy MacCaull, Dimiter Vakarelov: Lattice-Based Paraconsistent Logic. RelMiCS 2005: 173-187