@Article{Pel86-JAR,
    Author       = "Pelletier, F.J.",
    Year         = "1986",
    Title        = "{Seventy-five Problems for Testing Automatic Theorem
                    Provers}",
    Journal      = "Journal of Automated Reasoning",
    Volume       = "2",
    Number       = "2",
    Pages        = "191-216",
    Comment      = "TPTPRef"
}

@InProceedings{Pel86-CADE-8,
    Author       = "Pelletier, F.J.",
    Year         = "1986",
    Title        = "{THINKER}",
    Editor       = "Siekmann J.H.",
    BookTitle    = "{Proceedings of the 8th International Conference on
                    Automated Deduction}",
    Place        = "Oxford, United Kingdom",
    Series       = "Lecture Notes in Computer Science",
    Number       = "230",
    Pages        = "701-702",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}