@article{BerghammerFischer06WFLP,
 author = {Rudolf Berghammer and Sebastian Fischer},
 title = {Implementing Relational Specifications in a Constraint Functional Logic Language},
 journal = {Electron. Notes Theor. Comput. Sci.},
 volume = {177},
 year = {2007},
 issn = {1571-0661},
 pages = {169--183},
 doi = {http://dx.doi.org/10.1016/j.entcs.2007.01.011},
 publisher = {Elsevier Science Publishers B. V.},
 address = {Amsterdam, The Netherlands, The Netherlands},
 }