@misc{indiciae57b9bcd36c4b,
  title = {A Decision Diagram Operation for Reachability},
  author = {Sebastiaan Brand and Thomas Bäck and Alfons Laarman},
  year = {2022},
  doi = {10.1007/978-3-031-27481-7\_29},
  url = {https://arxiv.org/abs/2212.03684},
  note = {Source identifier: 2212.03684}
}