@article{DBLP:journals/cl/Ancona13,
  author       = {Davide Ancona},
  title        = {Regular corecursion in Prolog},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {39},
  number       = {4},
  pages        = {142--162},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.cl.2013.05.001},
  doi          = {10.1016/J.CL.2013.05.001},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/Ancona13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"rPzG9gLWFfZ4hNREr","bibbaseid":"ancona-regularcorecursioninprolog-2013","author_short":["Ancona, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Davide"],"propositions":[],"lastnames":["Ancona"],"suffixes":[]}],"title":"Regular corecursion in Prolog","journal":"Comput. Lang. Syst. Struct.","volume":"39","number":"4","pages":"142–162","year":"2013","url":"https://doi.org/10.1016/j.cl.2013.05.001","doi":"10.1016/J.CL.2013.05.001","timestamp":"Tue, 11 Feb 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/cl/Ancona13.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/cl/Ancona13,\n author = {Davide Ancona},\n title = {Regular corecursion in Prolog},\n journal = {Comput. Lang. Syst. Struct.},\n volume = {39},\n number = {4},\n pages = {142--162},\n year = {2013},\n url = {https://doi.org/10.1016/j.cl.2013.05.001},\n doi = {10.1016/J.CL.2013.05.001},\n timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/cl/Ancona13.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ancona, D."],"key":"DBLP:journals/cl/Ancona13","id":"DBLP:journals/cl/Ancona13","bibbaseid":"ancona-regularcorecursioninprolog-2013","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.cl.2013.05.001"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/a/DAncona.bib","dataSources":["hbmDF3mowSFP7RzLi"],"keywords":[],"search_terms":["regular","corecursion","prolog","ancona"],"title":"Regular corecursion in Prolog","year":2013}