@techreport{PoYi2000,
   author = {Jeff Polakow and Kwangkeun Yi},
   title = {Proving Exception Stackability and Linearity in an Ordered Logical Framework},
   type = {Technical Memorandum},
   number = {ROPAS-2000-8},
   category = {tech-memo},
   institution = {Research On Program Analysis System, Korea Advanced Institute of Science and Technology},
   url = {http://ropas.snu.ac.kr/lib/dock/PoYi2000.ps.gz},
   month = {October},
   year = {2000},
   format = {ps ps.gz dvi.gz pdf},
}