Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing.

Jos Iborra, Naoki Nishida, Germn Vidal

Browse the full LOPSTR paper archive.