@Article{LX22,
    Author       = "Liu, Q. and Xu, Y.",
    Year         = "2022",
    Title        = "{Axiom Selection Over Large Theory Based on New First-order Formula Metrics}",
    Journal      = "Applied Intelligence",
    Volume       = "52",
    Number       = "2",
    Pages        = "1793-1807",
    Publisher    = "Springer",
    Address      = "Berlin, Germany",
    DOI          = "{10.1007/s10489-021-02469-1}",
    Comment      = ""
}