Loading paper
Maximal residuated lattices with lifting Boolean center | Tomesphere