ADC Method of Proof Search in Intuitionistic Propositional Natural Deduction. Mints, G. & Steinert-Threlkeld, S. Journal of Logic and Computation, 26(1):395-408, 2016.
ADC Method of Proof Search in Intuitionistic Propositional Natural Deduction [pdf]Paper  bibtex   

Downloads: 0