@misc{indiciae1c99d8e1c4d8,
  title = {PolyQEnt: A Polynomial Quantified Entailment Solver},
  author = {Krishnendu Chatterjee and Amir Kafshdar Goharshady and Ehsan Kafshdar Goharshady and Mehrdad Karrabi and Milad Saadat and Maximilian Seeliger and Đorđe Žikelić},
  year = {2025},
  url = {https://arxiv.org/abs/2408.03796},
  note = {Source identifier: 2408.03796}
}