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