@Article{Luc68,
    Author       = "Luckham, D.",
    Year         = "1968",
    Title        = "{Some Tree-paring Strategies for Theorem Proving}",
    Journal      = "Machine Intelligence",
    Volume       = "3",
    Pages        = "95-112",
    Comment      = "TPTPRef, general reasoning/resolution/semantics"
}