Blanchette, J. C., Popescu, A., & Traytel, D. (2017). Soundness and Completeness Proofs by Coinductive Methods. Journal of automated reasoning, 58(1), 149-179. https://doi.org/10.1007/s10817-016-9391-3
Citácia podle Chicago (17th ed.)Blanchette, Jasmin Christian, Andrei Popescu, a Dmitriy Traytel. "Soundness and Completeness Proofs by Coinductive Methods." Journal of Automated Reasoning 58, no. 1 (2017): 149-179. https://doi.org/10.1007/s10817-016-9391-3.
Citácia podľa MLA (8th ed.)Blanchette, Jasmin Christian, et al. "Soundness and Completeness Proofs by Coinductive Methods." Journal of Automated Reasoning, vol. 58, no. 1, 2017, pp. 149-179, https://doi.org/10.1007/s10817-016-9391-3.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..