José Miguel Cleva, Javier Leach, Francisco Javier López-Fraguas. A logic programming approach to the verification of functional-logic programs. In Eugenio Moggi, David Scott Warren, editors, Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy. pages 9-19, ACM, 2004. [doi]
Abstract is missing.