机译:Static Dependency Pair Method in Rewriting Systems for Functional Programs with Product, Algebraic Data,and ML-Polymorphic Types
The author is with the Graduate School of Information Science, Nagoya University, Nagoya-shi, 464-8603 Japan;
rewriting systems for functional programs; termination; static dependency pair method;