Rafael Caballero, Mario RodrÃguez-Artalejo, Carlos A. Romero-DÃaz. Qualified Computations in Functional Logic Programming. In Patricia M. Hill, David Scott Warren, editors, Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings. Volume 5649 of Lecture Notes in Computer Science, pages 449-463, Springer, 2009. [doi]
Abstract is missing.