The Simply Typed Rewriting Calculus (2000)

by H Cirstea, C Kirchner
Venue:In 3rd International Workshop on Rewriting Logic and its Applications