Compact normalisation trace via lazy rewriting (2001)

by Q H Nguyen
Venue:Proc. WRS’01, ENTCS 57