Beyersdorff, O., Blinkhorn, J., Chew, L., Schmidt, R., & Suda, M. (2019). Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF. Journal of automated reasoning, 63(3), 597-623. https://doi.org/10.1007/s10817-018-9482-4
Chicago-Zitierstil (17. Ausg.)Beyersdorff, Olaf, Joshua Blinkhorn, Leroy Chew, Renate Schmidt, und Martin Suda. "Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF." Journal of Automated Reasoning 63, no. 3 (2019): 597-623. https://doi.org/10.1007/s10817-018-9482-4.
MLA-Zitierstil (9. Ausg.)Beyersdorff, Olaf, et al. "Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF." Journal of Automated Reasoning, vol. 63, no. 3, 2019, pp. 597-623, https://doi.org/10.1007/s10817-018-9482-4.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.