Francisco Javier López-Fraguas Stephan Merz Juan Rodríguez-Hortalá A Formalization of the Semantics of Functional-Logic Programming in Isabelle http://arxiv.org/abs/0908.0494 2009 CoRR abs/0908.0494 db/journals/corr/corr0908.html#abs-0908-0494 informal publication