@article{LeYi1998a,
   author = {이욱세 and 이광근},
   title = {하향식 타입 유추 알고리즘 M의 속성 증명},
   journal = {정보과학회 논문지},
   volume = {25},
   number = {8},
   pages = {1281--1292},
   month = {August},
   year = {1998},
   format = {hwp},
   category = {domestic-journal},
}