Sonia Estévez Martín, Rafael del Vado Vírseda. Designing an efficient computation strategy in ::::CFLP(FD):::: using definitional trees. In Sergio Antoy, Michael Hanus, editors, Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005. pages 23-31, ACM, 2005. [doi]
Abstract is missing.