A fully syntactic AC-RPO (1999)

Cached

Download Links

by Albert Rubio
Venue:Information and Computation
Citations:21 - 4 self