@Article{Li98,
    Author       = "Li, D.",
    Year         = "1998",
    Title        = "{A Shorter and Intuitive Axiom to Replace the Third Axiom
                    of Compatibility of Equality with Apartness and
                    Convergence}",
    Journal      = "AAR Newsletter",
    Volume       = "39",
    Comment      = "TPTPRef"
}