@inbook{Dyckhoff2016,
    Abstract = {Gentzen solved the decision problem for intuitionistic propositional logic in his doctoral thesis [31]; this paper reviews some of the subsequent progress. Solutions to the problem are of importance both for general philosophical reasons and because of their use in implementations of proof assistants (such as Coq [4], widely used in software verification) based on intuitionistic logic.},
    Address = {Cham},
    Author = {Dyckhoff, Roy},
    BookTitle = {Advances in Proof Theory},
    Editor = {Kahle, Reinhard and Strahm, Thomas and Studer, Thomas},
    File = {Intuitionistic Decision Procedures Since Gentzen - Dyckhoff2016\_Chapter\_IntuitionisticDecisionProcedur - a - q.pdf},
    ISBN = {978-3-319-29198-7},
    Pages = {245--267},
    Publisher = {Springer International Publishing},
    Title = {Intuitionistic Decision Procedures Since Gentzen},
    URL = {https://doi.org/10.1007/978-3-319-29198-7\_6},
    Year = {2016},
    bdsk-url-1 = {https://doi.org/10.1007/978-3-319-29198-7\_6},
    date-added = {2020-09-24 08:57:10 +0200},
    date-modified = {2020-09-24 08:57:10 +0200},
    file-2 = {Intuitionistic decision procedures since Gentzen - 41979691 - a - q.pdf},
    doi = {10.1007/978-3-319-29198-7_6}
}

@inbook{Dyckhoff2016, Abstract = {Gentzen solved the decision problem for intuitionistic propositional logic in his doctoral thesis [31]; this paper reviews some of the subsequent progress. Solutions to the problem are of importance both for general philosophical reasons and because of their use in implementations of proof assistants (such as Coq [4], widely used in software verification) based on intuitionistic logic.}, Address = {Cham}, Author = {Dyckhoff, Roy}, BookTitle = {Advances in Proof Theory}, Editor = {Kahle, Reinhard and Strahm, Thomas and Studer, Thomas}, File = {Intuitionistic Decision Procedures Since Gentzen - Dyckhoff2016_Chapter_IntuitionisticDecisionProcedur - a - q.pdf}, ISBN = {978-3-319-29198-7}, Pages = {245--267}, Publisher = {Springer International Publishing}, Title = {Intuitionistic Decision Procedures Since Gentzen}, URL = {https://doi.org/10.1007/978-3-319-29198-7_6}, Year = {2016}, bdsk-url-1 = {https://doi.org/10.1007/978-3-319-29198-7_6}, date-added = {2020-09-24 08:57:10 +0200}, date-modified = {2020-09-24 08:57:10 +0200}, file-2 = {Intuitionistic decision procedures since Gentzen - 41979691 - a - q.pdf}, doi = {10.1007/978-3-319-29198-7_6} }