TY  - RPRT
TI  - Decidability of distributive l-pregroups
AU  - Nikolaos Galatos
AU  - Isis A. Gallardo
PY  - 2023
UR  - https://arxiv.org/abs/2310.13175
ID  - 2310.13175
ER  -