@article(AdamekEtAl06,
 author       = {Jir{\'{\i}} Ad{\'{a}}mek and Stefan Milius and Jiri Velebil},
 year         = {2006},
 title        = {Iterative algebras at work},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {16},
 number       = {6},
 pages        = {1085--1131},
 doi          = {10.1017/S0960129506005706},
)
@article(Ancona13,
 author       = {Davide Ancona},
 year         = {2013},
 title        = {Regular corecursion in Prolog},
 journal      = {Computer Languages, Systems {\&} Structures},
 volume       = {39},
 number       = {4},
 pages        = {142--162},
 doi          = {10.1016/j.cl.2013.05.001},
)
@inproceedings(AnconaEtAl17,
 author       = {Davide Ancona and Francesco Dagnino and Elena Zucca},
 year         = {2017},
 title        = {Generalizing inference systems by coaxioms},
 editor       = {Hongseok Yang},
 booktitle    = {ESOP 2017 - European Symposium on Programming},
 series       = {Lecture Notes in Computer Science},
 volume       = {10201},
 publisher    = {Springer},
 pages        = {29--55},
 doi          = {10.1007/978-3-662-54434-1_2},
)
@article(AnconaDovier15,
 author       = {Davide Ancona and Agostino Dovier},
 year         = {2015},
 title        = {A Theoretical Perspective of Coinductive Logic Programming},
 journal      = {Fundamenta Informaticae},
 volume       = {140},
 number       = {3-4},
 pages        = {221--246},
 doi          = {10.3233/FI-2015-1252},
)
@inproceedings(AnconaZucca12,
 author       = {Davide Ancona and Elena Zucca},
 year         = {2012},
 title        = {Corecursive {F}eatherweight {J}ava},
 editor       = {Wei{-}Ngan Chin and Aquinas Hobor},
 booktitle    = {FTfJP'12 - Formal Techniques for Java-like Programs},
 publisher    = {ACM Press},
 pages        = {3--10},
 doi          = {10.1145/2318202.2318205},
)
@inproceedings(AnconaZucca13,
 author       = {Davide Ancona and Elena Zucca},
 year         = {2013},
 title        = {Safe Corecursion in co{FJ}},
 editor       = {Werner Dietl},
 booktitle    = {FTfJP'13 - Formal Techniques for Java-like Programs},
 publisher    = {ACM Press},
 pages        = {2:1--2:7},
 doi          = {10.1145/2489804.2489807},
)
@book(Apt97,
 author       = {Krzysztof R. Apt},
 year         = {1997},
 title        = {From logic programming to Prolog},
 series       = {Prentice Hall International series in computer science},
 publisher    = {Prentice Hall},
)
@techreport(JeanninEtAl12,
 author       = {J. Jeannin and D. Kozen and A. Silva},
 year         = {2012},
 title        = {{CoCaml}: Programming with Coinductive Types},
 type         = {Technical Report},
 institution  = {Computing and Information Science, Cornell University},
 url          = {http://hdl.handle.net/1813/30798},
)
@inproceedings(JeanninEtAl13,
 author       = {J. Jeannin and D. Kozen and A. Silva},
 year         = {2013},
 title        = {Language Constructs for Non-Well-Founded Computation},
 editor       = {Matthias Felleisen and Philippa Gardner},
 booktitle    = {ESOP 2013 - European Symposium on Programming},
 series       = {Lecture Notes in Computer Science},
 volume       = {7792},
 publisher    = {Springer},
 pages        = {61--80},
 doi          = {10.1007/978-3-642-37036-6_4},
)
@book(Lloyd87,
 author       = {John W. Lloyd},
 year         = {1987},
 title        = {Foundations of Logic Programming, 2nd Edition},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-83189-8},
)
@phdthesis(Simon06,
 author       = {Luke Simon},
 year         = {2006},
 title        = {Extending logic programming with coinduction},
 school       = {University of Texas at Dallas},
)
@inproceedings(SimonEtAl07,
 author       = {Luke Simon and Ajay Bansal and Ajay Mallya and Gopal Gupta},
 year         = {2007},
 title        = {Co-Logic Programming: Extending Logic Programming with Coinduction},
 editor       = {Lars Arge and Christian Cachin and Tomasz Jurdzinski and Andrzej Tarlecki},
 booktitle    = {ICALP'07 - International Colloquium on Automata, Languages and Programming 2003},
 series       = {Lecture Notes in Computer Science},
 volume       = {4596},
 publisher    = {Springer},
 pages        = {472--483},
 doi          = {10.1007/978-3-540-73420-8_42},
)
@inproceedings(SimonEtAl06,
 author       = {Luke Simon and Ajay Mallya and Ajay Bansal and Gopal Gupta},
 year         = {2006},
 title        = {Coinductive Logic Programming},
 editor       = {Sandro Etalle and Miroslaw Truszczynski},
 booktitle    = {International Conference on Logic Programming},
 series       = {Lecture Notes in Computer Science},
 volume       = {4079},
 publisher    = {Springer},
 pages        = {330--345},
 doi          = {10.1007/11799573_25},
)