Smolka, S;
Foster, N;
Hsu, J;
Kappé, T;
Kozen, D;
Silva, A;
(2019)
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time.
Proceedings of the ACM on Programming Languages
, 4
(POPL)
, Article 61. 10.1145/3371129.