Exceptions in the rewriting calculus (2002)

by Germain Faure, Claude Kirchner
Venue:Proceedings of the RTA conference, Lecture Notes in Computer Science