"Higher Order Dependency Pairs for Algebraic Functional Systems."

Cynthia Kop, Femke van Raamsdonk (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics