%0 Journal Article %1 journals/tplp/KomendantskayaL17 %A Komendantskaya, Ekaterina %A Li, Yue %D 2017 %J Theory Pract. Log. Program. %K %N 5-6 %P 906-923 %T Productive corecursion in logic programming. %U http://dblp.uni-trier.de/db/journals/tplp/tplp17.html#KomendantskayaL17 %V 17

@article{journals/tplp/KomendantskayaL17, added-at = {2023-12-14T15:36:05.000+0100}, author = {Komendantskaya, Ekaterina and Li, Yue}, biburl = {https://www.bibsonomy.org/bibtex/236d2830ebffe494c4ebcfc563ed9d585/admin}, ee = {https://doi.org/10.1017/S147106841700028X}, interhash = {ed323ff0a41a6734c5716dac1beb2ac7}, intrahash = {36d2830ebffe494c4ebcfc563ed9d585}, journal = {Theory Pract. Log. Program.}, keywords = {}, number = {5-6}, pages = {906-923}, timestamp = {2023-12-14T15:36:05.000+0100}, title = {Productive corecursion in logic programming.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp17.html#KomendantskayaL17}, volume = 17, year = 2017 }