@inproceedings{PoYi2001,
   author = {Jeff Polakow and Kwangkeun Yi},
   title = {Proving Syntactic Properties of Exceptions in an Ordered Logical Framework},
   booktitle = {The Fifth International Symposium on Functional and Logic Programming},
   series = {Lecture Notes in Computer Science},
   pages = {61--77},
   address = {Tokyo, Japan},
   month = {March},
   year = {2001},
   category = {other-program-analyses conference},
   format = {ps.gz},
}