@article{antoy_hanus_2017,
title={Default rules for Curry},
volume={17},
DOI={10.1017/S1471068416000168},
number={2},
journal={Theory and Practice of Logic Programming},
publisher={Cambridge University Press},
author={ANTOY, SERGIO and HANUS, MICHAEL},
year={2017},
pages={121--147}
}