@misc{indiciaebe3ed25f2b3b,
  title = {Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space},
  author = {Mikhail R. Gadelha and Felipe R. Monteiro and Enrico Steffinlongo and Lucas C. Cordeiro and Denis A. Nicole},
  year = {2019},
  url = {https://arxiv.org/abs/1904.02501},
  note = {Source identifier: 1904.02501}
}