The rewriting calculus -- Part I (2001)

by Horatiu Cirstea, et al.
Citations:16 - 1 self