@inproceedings{10.1007/BFb0012869,
    Abstract = {A class of challenge problems derived from a first-order encoding of the implicational propositional calculus is presented.},
    Address = {Berlin, Heidelberg},
    Author = {Pfenning, Frank},
    BookTitle = {9th International Conference on Automated Deduction},
    Editor = {Lusk, Ewing and Overbeek, Ross},
    File = {Single Axioms in the Implicational Propositional Calculus - cade88 - a.pdf},
    ISBN = {978-3-540-39216-3},
    Pages = {710--713},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Single axioms in the implicational propositional calculus},
    Year = {1988},
    date-added = {2023-03-28 19:26:34 +0200},
    date-modified = {2023-03-28 19:26:34 +0200},
    doi = {10.1007/BFb0012869}
}

@inproceedings{10.1007/BFb0012869, Abstract = {A class of challenge problems derived from a first-order encoding of the implicational propositional calculus is presented.}, Address = {Berlin, Heidelberg}, Author = {Pfenning, Frank}, BookTitle = {9th International Conference on Automated Deduction}, Editor = {Lusk, Ewing and Overbeek, Ross}, File = {Single Axioms in the Implicational Propositional Calculus - cade88 - a.pdf}, ISBN = {978-3-540-39216-3}, Pages = {710--713}, Publisher = {Springer Berlin Heidelberg}, Title = {Single axioms in the implicational propositional calculus}, Year = {1988}, date-added = {2023-03-28 19:26:34 +0200}, date-modified = {2023-03-28 19:26:34 +0200}, doi = {10.1007/BFb0012869} }