A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests.

Todd Schmid, Tobias Kapp, Alexandra Silva

Browse the full ESOP paper archive.