@Article{Li97,
    Author       = "Li, D.",
    Year         = "1997",
    Title        = "{Replacing the Axioms for Connecting Lines and Intersection
                    Points by Two Single Axioms}",
    Journal      = "AAR Newsletter",
    Volume       = "37",
    Comment      = "TPTPRef"
}

@Article{Li97,
    Author       = "Li, D.",
    Year         = "1997",
    Title        = "{Unification Algorithms for Eliminating and Introducing
                    Quantifiers in Natural Deduction Automated Theorem
                    Proving}",
    Journal      = "Journal of Automated Reasoning",
    Volume       = "18",
    Number       = "1",
    Pages        = "105-134",
    Comment      = ""
}