Article

Andréka, H. and Mikulás, Szabolcs and Németi, I. (2011) The equational theory of Kleene lattices. Theoretical Computer Science 412 (52), pp. 7099-7108. ISSN 0304-3975.

Book Section

Andréka, H. and Mikulás, Szabolcs and Németi, I. (2012) Residuated Kleene algebras. In: Constable, R.L. and Silva, A. (eds.) Logic and Program Semantics. Lecture Notes in Computer Science 7230. Berlin, Germany: Springer Verlag, pp. 1-11. ISBN 9783642294853.