@incollection{MUNDICI1984345,
    Abstract = {The truth-values of two renowned conjectures about NP (namely, p NP and, NP is not closed under complementation) depend on the difficulty in writing down Craig's interpolants in sentential logic. The general connection between NP and interpolation is studied by blending ideas and techniques from both model theory and computation theory.},
    Author = {Mundici, Daniele},
    BookTitle = {Logic Colloquium '82},
    Editor = {Lolli, G. and Longo, G. and Marcja, A.},
    File = {NP and Craig's Interpolation Theorem - a - a - a - y.pdf},
    ISSN = {0049-237X},
    Pages = {345 - 358},
    Publisher = {Elsevier},
    Series = {Studies in Logic and the Foundations of Mathematics},
    Title = {NP and Craig's Interpolation Theorem},
    URL = {http://www.sciencedirect.com/science/article/pii/S0049237X08718226},
    Volume = {112},
    Year = {1984},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0049237X08718226},
    bdsk-url-2 = {https://doi.org/10.1016/S0049-237X(08)71822-6},
    date-added = {2020-02-11 16:44:58 +0100},
    date-modified = {2020-02-11 16:44:58 +0100},
    doi = {10.1016/S0049-237X(08)71822-6}
}

@incollection{MUNDICI1984345, Abstract = {The truth-values of two renowned conjectures about NP (namely, p NP and, NP is not closed under complementation) depend on the difficulty in writing down Craig's interpolants in sentential logic. The general connection between NP and interpolation is studied by blending ideas and techniques from both model theory and computation theory.}, Author = {Mundici, Daniele}, BookTitle = {Logic Colloquium '82}, Editor = {Lolli, G. and Longo, G. and Marcja, A.}, File = {NP and Craig's Interpolation Theorem - a - a - a - y.pdf}, ISSN = {0049-237X}, Pages = {345 - 358}, Publisher = {Elsevier}, Series = {Studies in Logic and the Foundations of Mathematics}, Title = {NP and Craig's Interpolation Theorem}, URL = {http://www.sciencedirect.com/science/article/pii/S0049237X08718226}, Volume = {112}, Year = {1984}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0049237X08718226}, bdsk-url-2 = {https://doi.org/10.1016/S0049-237X(08)71822-6}, date-added = {2020-02-11 16:44:58 +0100}, date-modified = {2020-02-11 16:44:58 +0100}, doi = {10.1016/S0049-237X(08)71822-6} }