%0 Journal Article %1 journals/tplp/AntoyH17 %A Antoy, Sergio %A Hanus, Michael %D 2017 %J Theory Pract. Log. Program. %K %N 2 %P 121-147 %T Default rules for Curry. %U http://dblp.uni-trier.de/db/journals/tplp/tplp17.html#AntoyH17 %V 17

@article{journals/tplp/AntoyH17, added-at = {2023-12-13T07:07:06.000+0100}, author = {Antoy, Sergio and Hanus, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2fe843e837a1df265d43fda419200fd9d/admin}, ee = {https://doi.org/10.1017/S1471068416000168}, interhash = {b552e4649e8b1240a2a6b6ff85c3f831}, intrahash = {fe843e837a1df265d43fda419200fd9d}, journal = {Theory Pract. Log. Program.}, keywords = {}, number = 2, pages = {121-147}, timestamp = {2023-12-13T07:07:06.000+0100}, title = {Default rules for Curry.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp17.html#AntoyH17}, volume = 17, year = 2017 }