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
Citace podle Chicago (17th ed.)Beyersdorff, Olaf, Joshua Blinkhorn, Leroy Chew, Renate Schmidt, a 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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..