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