"A Static Higher-Order Dependency Pair Framework."

Carsten Fuhs, Cynthia Kop (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics