递归划分的标签约束可达性计算方法
체귀화분적표첨약속가체성계산방법
A label constraint reachability computation method on recursive partition
저자의 최근 논문