@INPROCEEDINGS{AntoyHanus09PPDP,
  author = {S. Antoy and M. Hanus},
  title = {Set Functions for Functional Logic Programming},
  booktitle = {Proceedings of the 11th ACM SIGPLAN International
               Conference on Principles
               and Practice of Declarative Programming (PPDP 2009)},
  year = {2009},
  address = {Lisbon, Portugal},
  pages = {73-82},
  month = sep
}