2005年
Dependency Pairs for Simply Typed Term Rewriting
Proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA'05), Lecture Notes in Computer Science
- 巻
- Vol. 3467, pp.120-134
- 号