EasyChair Smart Slide
Completeness of Left Handed Kleene algebra via Cyclic Proofs
Completeness of Left Handed Kleene algebra via Cyclic Proofs