TPTP Reference: LW91


@TechReport{LW91,
    Author       = "Lusk, E.L. and Wos, L.",
    Year         = "1991",
    Title        = "{Benchmark Problems in Which Equality Plays the Major
                    Role}",
    Number       = "MCS-P275-1191",
    Institution  = "Mathematics and Computer Science Division, Argonne
                    National Laboratory",
    Address      = "Argonne, USA",
    Comment      = "TPTPRef"
}