Goal-directed and relative dependency pairs for proving the termination of narrowing

From MaRDI portal
Publication:3558285