Head-)Normalization of Typeable Rewrite Systems (1995)

by Steffen Van Bakel , Maribel Fernández , Department Of Computing
Venue:Proceedings of RTA '95. 6th International Conference on Rewriting Techniques and Applications
Citations:8 - 8 self