Testing for the ground (co-)reducibility property in term-rewriting systems (1992)

by E Kounalis
Venue:Theoretical Computer Science