@article{doi:10.3166/jancl.18.267-292,
    Author = {Rybakov, Mikhail},
    EPrint = {https://doi.org/10.3166/jancl.18.267-292},
    File = {latd2016 (0) (0) - a - a - q.pdf},
    Journal = {Journal of Applied Non-Classical Logics},
    Number = {2-3},
    Pages = {267-292},
    Publisher = {Taylor \& Francis},
    Title = {Complexity of intuitionistic propositional logic and its fragments},
    URL = {https://doi.org/10.3166/jancl.18.267-292},
    Volume = {18},
    Year = {2008},
    bdsk-url-1 = {https://doi.org/10.3166/jancl.18.267-292},
    date-added = {2018-05-07 11:41:11 +0000},
    date-modified = {2018-05-07 11:41:11 +0000},
    file-2 = {Complexity of intuitionistic propositional logic and its fragments (0) (0) - a - a - q.pdf},
    doi = {10.3166/jancl.18.267-292}
}

@article{doi:10.3166/jancl.18.267-292, Author = {Rybakov, Mikhail}, EPrint = {https://doi.org/10.3166/jancl.18.267-292}, File = {latd2016 (0) (0) - a - a - q.pdf}, Journal = {Journal of Applied Non-Classical Logics}, Number = {2-3}, Pages = {267-292}, Publisher = {Taylor \& Francis}, Title = {Complexity of intuitionistic propositional logic and its fragments}, URL = {https://doi.org/10.3166/jancl.18.267-292}, Volume = {18}, Year = {2008}, bdsk-url-1 = {https://doi.org/10.3166/jancl.18.267-292}, date-added = {2018-05-07 11:41:11 +0000}, date-modified = {2018-05-07 11:41:11 +0000}, file-2 = {Complexity of intuitionistic propositional logic and its fragments (0) (0) - a - a - q.pdf}, doi = {10.3166/jancl.18.267-292} }