The equational theory of Kleene lattices

Hajnal Andréka, Szabolcs Mikulás, István Németi. The equational theory of Kleene lattices. Theoretical Computer Science, 412(52):7099-7108, 2011. [doi]

Abstract

Abstract is missing.