@techreport{YiEo2002,
   author = {Kwangkeun Yi and Hyunjun Eo},
   title = {Static Extensionality Analysis for Lambda-Definable Functions Over Lattices},
   type = {Technical Memorandum},
   number = {ROPAS-2002-17},
   category = {tech-memo},
   institution = {Research On Program Analysis System, Korea Advanced Institute of Science and Technology},
   month = {September},
   year = {2002},
   format = {pdf},
}