Jim de Groot: Non-distributive positive logic as a fragment of first-order logic over semilattices. J. Log. Comput. 34(1): 180-196 (2024)