APA-Zitierstil (7. Ausg.)

Bocevska, I., Tsukada, T., Unno, H., Padon, O., & Shoham, S. (2026). Lagrangian-Based Duality for Quantified SMT Algorithms - Artifact. Zenodo.

Chicago-Zitierstil (17. Ausg.)

Bocevska, Ivana, Takeshi Tsukada, Hiroshi Unno, Oded Padon, und Sharon Shoham. Lagrangian-Based Duality for Quantified SMT Algorithms - Artifact. Zenodo, 2026.

MLA-Zitierstil (9. Ausg.)

Bocevska, Ivana, et al. Lagrangian-Based Duality for Quantified SMT Algorithms - Artifact. Zenodo, 2026.