A logic programming approach to the verification of functional-logic programs. - José Miguel Cleva; Javier Leach; Francisco Javier López-Fraguas (PPDP, 2004)

Semantic Determinism and Functional Logic Program Properties. - José Miguel Cleva; Francisco Javier López-Fraguas (RULE@FLoC, 2006)

Verification of CRWL Programs with Rewriting Logic. - José Miguel Cleva; Isabel Pita (J. Univers. Comput. Sci., 2006)