Higher-order dependency pairs
. F. Blanqui. WST'06, 5 pages.
Erratum:
Page 4, the assertion before Theorem 4 holds only if, for all l→r ∈ DP(R), FV(r)⊆FV(l), a condition used in Theorem 4 too.
Last updated on 24 January 2026.
Come back to main page
.
Last updated on 24 January 2026.
Come back to main page.