@inproceedings{AntoyHanus14WFLP
    ,author={S. Antoy and M. Hanus}
    ,title={Curry without Success}
    ,year={2014}
    ,month={9}
    ,address={Leucorea, Germany}
    ,booktitle={The 23rd International Workshop on
       Functional and (Constraint) Logic Programming (WFLP14)}
}