@Article{Bar46,
    Author       = "Barcan, R.",
    Year         = "1946",
    Title        = "{A Functional Calculus of First Order Based on Strict
                    Implication}",
    Journal      = "Journal of Symbolic Logic",
    Volume       = "11",
    Pages        = "1-16",
    Comment      = "TPTPRef"
}