APA (7th ed.) Citation

MINTS, G., & STEINERT-THRELKELD, S. (2016). ADC method of proof search for intuitionistic propositional natural deduction. Journal of Logic & Computation, 26(1), 395. https://doi.org/10.1093/logcom/ext032

Chicago Style (17th ed.) Citation

MINTS, G., and SH STEINERT-THRELKELD. "ADC Method of Proof Search for Intuitionistic Propositional Natural Deduction." Journal of Logic & Computation 26, no. 1 (2016): 395. https://doi.org/10.1093/logcom/ext032.

MLA (9th ed.) Citation

MINTS, G., and SH STEINERT-THRELKELD. "ADC Method of Proof Search for Intuitionistic Propositional Natural Deduction." Journal of Logic & Computation, vol. 26, no. 1, 2016, p. 395, https://doi.org/10.1093/logcom/ext032.