Chatterjee, K., Goharshady, A. K., Goharshady, E. K., Karrabi, M., Saadat, M., Seeliger, M., & Žikelić, Đ. (2024). PolyQEnt: A Polynomial Quantified Entailment Solver.
Chicago-Zitierstil (17. Ausg.)Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Maximilian Seeliger, und Đorđe Žikelić. PolyQEnt: A Polynomial Quantified Entailment Solver. 2024.
MLA-Zitierstil (9. Ausg.)Chatterjee, Krishnendu, et al. PolyQEnt: A Polynomial Quantified Entailment Solver. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.