References

1. Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers & Andrew Pond (2016): Proof Relevant Corecursive Resolution. In: Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings, Lecture Notes in Computer Science 9613. Springer, pp. 126–143, doi:10.1007/978-3-319-29604-3_9.
2. Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon & Ajay Mallya (2007): Coinductive Logic Programming and Its Applications. In: Véronica Dahl & Ilkka Niemelä: Logic Programming. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 27–44, doi:10.1007/978-3-540-74610-2_4.
3. Ekaterina Komendantskaya & Yue Li (2017): Productive corecursion in logic programming. TPLP 17(5-6), pp. 906–923, doi:10.1017/S147106841700028X.
4. John W. Lloyd (1987): Foundations of Logic Programming, 2nd Edition. Springer, doi:10.1007/978-3-642-83189-8.
5. Dale Miller & Gopalan Nadathur (2012): Programming with Higher-Order Logic. Cambridge University Press, doi:10.1017/CBO9781139021326.
6. Luke Simon, Ajay Mallya, Ajay Bansal & Gopal Gupta (2006): Coinductive Logic Programming. In: Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, Lecture Notes in Computer Science 4079. Springer, pp. 330–345, doi:10.1007/11799573_25.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org