"A complete axiomatisation of reversible Kleene lattices."

Paul Brunet (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics