Rewriting Calculus with(out) Types (2002)

by H Cirstea, C Kirchner, L Liquori
Venue:In Proc. of WRLA, volume 71 of ENTCS