@article{BovaCabrer14,
 author = {Simone Bova and
Leonardo Manuel Cabrer},
 journal = {Order},
 number = {2},
 pages = {159–187},
 title = {Unification and Projectivity in {De Morgan} and {Kleene} Algebras},
 volume = {31},
 year = {2014}
}