1. Regular corecursion in Prolog;Ancona;Comput. Lang. Syst. Struct.,2013
2. Sound regular corecursion in coFJ;Ancona,2020
3. Enhanced regular corecursion for data streams;Ancona,2021
4. Checked corecursive streams: trading expressive power for reliability;Ancona,2022
5. Generalizing inference systems by coaxioms;Ancona,2017