@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" }