@Article{Fri63,
    Author       = "Friedman, J.",
    Year         = "1963",
    Title        = "{A Semi-Decision Procedure for the Functional Calculus}",
    Journal      = "Journal of the ACM",
    Volume       = "10",
    Number       = "1",
    Pages        = "1-24",
    Comment      = "TPTPRef,sample problems"
}