Michael Hanus. Call pattern analysis for functional logic programs. 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 67-78, ACM, 2008. [doi]
Abstract is missing.