@misc{indiciae35df3c2ae07f,
  title = {Propositional Encodings of Acyclicity and Reachability by using Vertex Elimination},
  author = {Masood Feyzbakhsh Rankooh and Jussi Rintanen},
  year = {2021},
  url = {https://arxiv.org/abs/2105.12908},
  note = {Source identifier: 2105.12908}
}