Salvador Lucas, José Meseguer. Order-sorted dependency pairs. In Sergio Antoy, Elvira Albert, editors, Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain. pages 108-119, ACM, 2008. [doi]
Abstract is missing.