TPTP Reference: LO85

@Article{LO85-JAR-1-209,
    Author       = "Lusk, E.L. and Overbeek, R.",
    Year         = "1985",
    Title        = "{Reasoning about Equality}",
    Journal      = "Journal of Automated Reasoning",
    Volume       = "1",
    Number       = "2",
    Pages        = "209-228",
    Comment      = "TPTPRef"
}

@Article{LO85-JAR-1-103,
    Author       = "Lusk, E.L. and Overbeek, R.",
    Year         = "1985",
    Title        = "{Non-Horn Problems}",
    Journal      = "Journal of Automated Reasoning",
    Volume       = "1",
    Number       = "1",
    Pages        = "103-114",
    Comment      = "TPTPRef"
}