TY  - RPRT
TI  - Ivanova contact join-semilattices are not finitely axiomatizable
AU  - Paolo Lipparini
PY  - 2025
DO  - 10.1093/jigpal/jzaf008
UR  - https://arxiv.org/abs/2311.12599
ID  - 2311.12599
ER  -