@inproceedings{PoYi01, author = "Jeff Polakow and Kwangkeun Yi", title = "Proving Syntactic Properties of Exceptions in an Ordered Logical Framework", booktitle = "{Proceedings of the 5th International Symposium on Functional and Logic Programming}", volume = "2024", series = "Lecture Notes in Computer Science", pages = "61--77", year = "2001", publisher = "Springer-Verlag" }