@TechReport{WL89,
    Author       = "Wilson, D.S. and Loveland, D.W.",
    Year         = "1989",
    Title        = "{Incorporating Relevancy Testing in SATCHMO}",
    Number       = "CS-1989-24",
    Institution  = "Department of Computer Science, Duke University",
    Address      = "Durham, USA",
    Comment      = "TPTPRef, general reasoning"
}