Full Citation:
Simone Bova, Leonardo Manuel Cabrer. Unification and Projectivity in De Morgan and Kleene Algebras. Order, volume 31, number 2, pages 159-187, 2014.