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.
Paper bibtex @article{
title = {ADC Method of Proof Search in Intuitionistic Propositional Natural Deduction},
type = {article},
year = {2016},
identifiers = {[object Object]},
keywords = {intuitionistic logic,natural deduction,polynomial decidability},
pages = {395-408},
volume = {26},
id = {cd6f52a0-af73-3276-942a-a04ada18aae8},
created = {2016-02-03T21:38:00.000Z},
file_attached = {true},
profile_id = {60b62677-65fc-3504-9e8d-9e974efe1a93},
last_modified = {2017-03-13T13:51:10.045Z},
read = {false},
starred = {false},
authored = {true},
confirmed = {true},
hidden = {false},
citation_key = {Mints2016},
folder_uuids = {6333e4df-3704-4e60-bf8d-14b9f253d13c},
private_publication = {false},
bibtype = {article},
author = {Mints, Grigori and Steinert-Threlkeld, Shane},
journal = {Journal of Logic and Computation},
number = {1}
}