TY  - RPRT
TI  - The lattice of varieties of implication semigroups
AU  - S. V. Gusev
AU  - H. P. Sankappanavar
AU  - B. M. Vernikov
PY  - 2019
DO  - 10.1007/s11083-019-09503-5
UR  - https://arxiv.org/abs/1809.03148
ID  - 1809.03148
ER  -