@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" }