@Article{XL+18,
    Author       = "Xu, Y. and Liu, J. and Chen, S. and Zhong, X. and He, X.",
    Year         = "2018",
    Title        = "{Contradiction Separation Based Dynamic Multi-clause Synergized Automated
                    Deduction}",
    Journal      = "Information Sciences",
    Volume       = "462",
    Pages        = "93-113",
    DOI          = "10.1016/j.ins.2018.04.086",
    Comment      = ""
}