Left-Handed Completeness for Kleene algebra, via Cyclic Proofs.

Anupam Das, Amina Doumane, Damien Pous

Browse the full LPAR paper archive.