@article{AntoyHanus10CACM
  ,author={S. Antoy and M. Hanus}
  ,title={Functional Logic Programming}
  ,journal={Comm. of the ACM}
  ,volume={53}
  ,number={4}
  ,year={2010}
  ,month={April}
  ,pages={74-85}
}