@misc{indiciae38cc8199cf6b,
  title = {The Lattice-Theoretic Essence of Property Directed Reachability Analysis},
  author = {Mayuko Kori and Natsuki Urabe and Shin-ya Katsumata and Kohei Suenaga and Ichiro Hasuo},
  year = {2022},
  url = {https://arxiv.org/abs/2203.14261},
  note = {Source identifier: 2203.14261}
}