@article {KS11b,
	title = {Left-handed completeness},
	number = {1813/23556},
	year = {2011},
	month = {August},
	pages = {1-18},
	institution = {Cornell University},
	address = {Ithaca, NY},
	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>
},
	issn = {TR2004-1971},
	attachments = {https://haslab.uminho.pt/sites/default/files/xana/files/left_1.pdf},
	author = {Dexter Kozen and Alexandra Silva}
}