On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication | Publicación