A logic programming approach to the verification of functional-logic programs.

José Miguel Cleva Javier Leach Francisco Javier López-Fraguas A logic programming approach to the verification of functional-logic programs. 9-19 2004 conf/ppdp/2004 PPDP http://doi.acm.org/10.1145/1013963.1013969 db/conf/ppdp/ppdp2004.html#ClevaLL04