A Cyclic Proof System for Guarded Kleene Algebra with Tests.

Jan Rooduijn, Dexter Kozen, Alexandra Silva

Browse the full IJCAR paper archive.