@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,
}