The rewriting calculus (2001)

by H Cirstea, C Kirchner
Venue:Part I and II. Logic Journal of the Interest Group in Pure and Applied Logics