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. Green open access