@misc{indiciaedd4b4bf7ed10,
  title = {All-Path Reachability Logic},
  author = {Andrei Stefanescu and Stefan Ciobaca and Radu Mereuta and Brandon Moore and Traian Florin Serbanuta and Grigore Rosu},
  year = {2019},
  doi = {10.23638/lmcs-15(2:5)2019},
  url = {https://arxiv.org/abs/1810.10826},
  note = {Source identifier: 1810.10826}
}