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}
}