Beyersdorff, O., Blinkhorn, J., Chew, L., Schmidt, R., & Suda, M. (2018). Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF. J Autom Reason.
Chicago-tyylinen lähdeviittausBeyersdorff, Olaf, Joshua Blinkhorn, Leroy Chew, Renate Schmidt, ja Martin Suda. "Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF." J Autom Reason 2018.
MLA-viiteBeyersdorff, Olaf, et al. "Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF." J Autom Reason 2018.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.