主动规则执行终止性分析算法的修正
주동규칙집행종지성분석산법적수정
An Amendment to the Termination Analysis Algorithm for Active Rule Execution
저자의 최근 논문