@inproceedings{Se2002,
   author = {서선애},
   title = {정확한 정수 합동 분석을 위한 역방향 요약 연산자 정의},
   booktitle = {정보과학회 가을 학술회의},
   volume = {30},
   number = {2},
   pages = {652--654},
   month = {October},
   year = {2002},
   format = {ps},
   category = {domestic-conference},
}