Finite axiomatizability of logics of distributive lattices with negation | Publicación