TY - RPRT TI - On a symmetrization of hemiimplicative semilattices AU - José Luis Castiglioni AU - Hernán Javier San Martín PY - 2016 UR - https://arxiv.org/abs/1611.09589 ID - 1611.09589 ER -