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