TY  - RPRT
TI  - Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time
AU  - Steffen Smolka
AU  - Nate Foster
AU  - Justin Hsu
AU  - Tobias Kappé
AU  - Dexter Kozen
AU  - Alexandra Silva
PY  - 2019
DO  - 10.1145/3371129
UR  - https://arxiv.org/abs/1907.05920
ID  - 1907.05920
ER  -