@misc{indiciae1fd1c0bd933d,
  title = {Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time},
  author = {Steffen Smolka and Nate Foster and Justin Hsu and Tobias Kappé and Dexter Kozen and Alexandra Silva},
  year = {2019},
  doi = {10.1145/3371129},
  url = {https://arxiv.org/abs/1907.05920},
  note = {Source identifier: 1907.05920}
}