Termination of Context-Sensitive Rewriting (1997)

by H. Zantema
Venue:Proc. of 8th International Conference on Rewriting Techniques and Applications, RTA'97, LNCS 1232:172-186
Citations:32 - 0 self