@misc{indiciae04e039ff2099,
  title = {A Formalization of the Semantics of Functional-Logic Programming in Isabelle},
  author = {Francisco López Fraguas and Stephan Merz and Juan Rodríguez Hortalá},
  year = {2009},
  url = {https://arxiv.org/abs/0908.0494},
  note = {Source identifier: 0908.0494}
}