Contrary description logic: Gentzen deduction system
Crossref DOI link: https://doi.org/10.1007/s11432-015-9050-6
Published Online: 2017-08-23
Published Print: 2017-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Li, Wei
Sui, Yuefei
Luo, Jie
Chen, Bo
License valid from 2017-08-23