@inproceedings {FHS05a,
  publisher = Thomson,
  pages = "115--120",
  month = oct,
  title = "Using the Toy(FD) constraint functional logic system",
  year = 2005,
  isbn = "84-9732-438-2",
  booktitle = "Francisco Javier L\'{o}pez Fraguas (Ed.). Actas de las V Jornadas sobre Programaci\'{o}n y Lenguajes. 
  PROLE'2005: Simposio 10 del I Congreso Espa\~{n}ol de Inform\'{a}tica (CEDI 2005), Granada, 13 al 16 de Septimebre de 
  2005",
  address = Madrid,
  author = "Antonio J. Fern\'{a}ndez and Teresa Hortal\'{a}-Gonz\'{a}lez and Fernando S\'{a}enz P\'{e}rez"
}