@TechReport{Pel82,
    Author       = "Pelletier, F.J.",
    Year         = "1982",
    Title        = "{Completely Non-clausal, Completely Heuristically Driven
                    Automatic Theorem Proving}",
    Number       = "TR82-7",
    Institution  = "Department of Computer Science, Edmonton, Alberta",
    Comment      = "TPTPRef"
}