@conference {KS12,
	title = {Left-handed completeness},
	booktitle = {13th International Conference on Relational and Algebraic Methods in Computer Science},
	series = {Lecture Notes in Computer Science},
	volume = {7560},
	year = {2012},
	month = {September},
	pages = {162{\textendash}178},
	publisher = {Springer},
	organization = {Springer},
	address = {Cambridge, UK},
	abstract = {<p>We give a new, significantly shorter proof of the completeness of the left-handed star rule of Kleene algebra. The proof reveals the rich interaction of algebra and coalgebra in the theory.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/xana/files/left.pdf},
	author = {Dexter Kozen and Alexandra Silva}
}