Bounded distributive lattices with strict implication | Publicación