Cofiuet Reductios: Abstract Properties ad Applicatios to Term Rewritig Systems (0)

by G HUET
Venue:Journal of ACM