Implementing first-order rewriting with constructor systems (1988)

by Satish Thatte
Venue:Theoretical Computer Science