@misc{indiciae9ef7124a825e,
  title = {Horn2VMT: Translating Horn Reachability into Transition Systems.},
  author = {Bueno, Denis},
  year = {2020},
  url = {https://www.osti.gov/biblio/1783647},
  note = {Source identifier: 1783647}
}