Finite axiomatizability of logics of distributive lattices with negation - Marcelino, S.; Rivieccio, U. (Logic Journal of the IGPL, 2023)