Antimirov and mosses’s rewrite system revisited (0)

by M Almeida, N Moreira, R Reis
Venue:Int. J. Found. Comput. Sci