The theory of ZC(2) 2 -lattices is decidable (1998)

by S Baratella, C Toffalori
Venue:Arch. Math. Logic