@article{Pelletier:1986:SPT:7766.7771,
    Address = {Secaucus, NJ, USA},
    Author = {Pelletier, Francis Jeffry},
    File = {Seventy-five problems for testing automatic theorem provers - pelletier1986 (0) - a - a - g.pdf},
    ISSN = {0168-7433},
    Journal = {J. Autom. Reason.},
    Month = {June},
    Number = {2},
    Pages = {191--216},
    Publisher = {Springer-Verlag New York, Inc.},
    Title = {Seventy-five Problems for Testing Automatic Theorem Provers},
    URL = {http://dx.doi.org/10.1007/BF02432151},
    Volume = {2},
    Year = {1986},
    acmid = {7771},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BF02432151},
    date-added = {2019-08-13 07:57:12 +0200},
    date-modified = {2019-08-13 07:57:12 +0200},
    file-2 = {Errata - 75ProblemsErrata.pdf},
    issue_date = {1986},
    numpages = {26},
    doi = {10.1007/BF02432151}
}

@article{Pelletier:1986:SPT:7766.7771, Address = {Secaucus, NJ, USA}, Author = {Pelletier, Francis Jeffry}, File = {Seventy-five problems for testing automatic theorem provers - pelletier1986 (0) - a - a - g.pdf}, ISSN = {0168-7433}, Journal = {J. Autom. Reason.}, Month = {June}, Number = {2}, Pages = {191--216}, Publisher = {Springer-Verlag New York, Inc.}, Title = {Seventy-five Problems for Testing Automatic Theorem Provers}, URL = {http://dx.doi.org/10.1007/BF02432151}, Volume = {2}, Year = {1986}, acmid = {7771}, bdsk-url-1 = {http://dx.doi.org/10.1007/BF02432151}, date-added = {2019-08-13 07:57:12 +0200}, date-modified = {2019-08-13 07:57:12 +0200}, file-2 = {Errata - 75ProblemsErrata.pdf}, issue_date = {1986}, numpages = {26}, doi = {10.1007/BF02432151} }