@TechReport{LS74,
    Author       = "Lawrence, J.D. and Starkey, J.D.",
    Year         = "1974",
    Title        = "{Experimental Tests of Resolution Based Theorem-proving
                    Strategies.}",
    Number       = "",
    Institution  = "Computer Science Department, Washington State
                    University",
    Address      = "Pullman, USA",
    Comment      = "TPTPRef"
}