Normalisation in Weakly Orthogonal Rewriting (1999)

Cached

Download Links

by Vincent van Oostrom
Citations:8 - 4 self