基于析取关系直接变换的冲突解脱方法
기우석취관계직접변환적충돌해탈방법
Direct Disjunction Transcription Based Conflict Resolution Approach
저자의 최근 논문