Exceptions in the Rewriting Calculus (2002)

by G Faure, C Kirchner
Venue:In Proc. of RTA, volume 2378 of LNCS