基于析取关系直接变换的冲突解脱方法
陈伟锋, 邵之江
Direct Disjunction Transcription Based Conflict Resolution Approach
CHEN Weifeng, SHAO Zhijiang
航空学报 . 2014, (4): 1122 -1133 .  DOI: 10.7527/S1000-6893.2013.0505