Regular corecursion in Prolog

@article{Ancona2013RegularCI,
  title={Regular corecursion in Prolog},
  author={Davide Ancona},
  journal={Computer Languages, Systems & Structures},
  year={2013},
  volume={39},
  pages={142-162}
}

From This Paper

Topics from this paper.