APA (7th ed.) Citation

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 Style (17th ed.) Citation

Beyersdorff, Olaf, Joshua Blinkhorn, Leroy Chew, Renate Schmidt, and 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 (9th ed.) Citation

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.