Fuhs, C;
Kop, C;
(2012)
Polynomial Interpretations for Higher-Order Rewriting.
In: Tiwari, A, (ed.)
Proceedings of the Conference on Rewriting Techniques and Applications (RTA'12).
(pp. 176 - 192).
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik