Implementing first-order rewriting with constructor systems (1988)

by S R Thatte
Venue:Theoretical Computer Science