@conference{5618b4f623194d5580a6ef085c9db62f,
title = "Distinctive features of the contradiction separation based dynamic automated deduction",
keywords = "Resolution, automated deduction, contradiction, contradiction separation",
author = "Yang Xu and Shuwei Chen and Jun Liu and Xiaomei Zhong and Xingxing He",
year = "2018",
month = aug,
day = "21",
doi = "10.1142/9789813273238_0092",
language = "English",
pages = "725--732",
note = "13th International FLINS Conference (FLINS 2018) on Data Science and Knowledge Engineering for Sensing Decision Support (FLINS 2018), FLINS2018 ; Conference date: 21-08-2018 Through 24-08-2018",
}