GALILEO完备性系统中SISE的算法研究
GALILEO완비성계통중SISE적산법연구
저자의 최근 논문