@Article{Wos92-AAR,
    Author       = "Wos, L.",
    Year         = "1992",
    Title        = "{An Opportunity to Test Your Skills, and the Power of Your
                    Automated Reasoning Program}",
    Journal      = "AAR Newsletter",
    Volume       = "21",
    Pages        = "10-11",
    Comment      = "TPTPRef"
}

@InProceedings{Wos92,
    Author       = "Wos, L.",
    Year         = "1992",
    Title        = "{The Impossibility of the Automation of Logical Reasoning}",
    Editor       = "Kapur D.",
    BookTitle    = "{Proceedings of the 11th International Conference on
                    Automated Deduction}",
    Place        = "Saratoga Springs, USA",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "607",
    Pages        = "1-3",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}

@InProceedings{Wos92-CADE-11,
    Author       = "Wos, L.",
    Year         = "1992",
    Title        = "{Automated Reasoning: It Cannot Exist}",
    BookTitle    = "{Proceedings of the 11th International Conference on
                    Automated Deduction}",
    Place        = "Saratoga Springs, USA",
    Comment      = "general reasoning"
}