The rewriting calculus (2001)

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