Davide Ancona
Regular corecursion in Prolog
SAC, 2013.
@article{SAC-PL-J-2012-Ancona13, author = "Davide Ancona", doi = "10.1016/j.cl.2013.05.001", journal = "{Computer Languages, Systems & Structures}", number = 4, pages = "142--162", title = "{Regular corecursion in Prolog}", volume = 39, year = 2013, }