@inproceedings(FKS15,
 author       = {Peng Fu and Ekaterina Komendantskaya and Tom Schrijvers and Andrew Pond},
 year         = {2016},
 title        = {Proof Relevant Corecursive Resolution},
 booktitle    = {Functional and Logic Programming - 13th International Symposium, {FLOPS} 2016, Kochi, Japan, March 4-6, 2016, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {9613},
 publisher    = {Springer},
 pages        = {126--143},
 doi          = {10.1007/978-3-319-29604-3\_9},
)
@inproceedings(GuptaBMSM07,
 author       = {Gopal Gupta and Ajay Bansal and Richard Min and Luke Simon and Ajay Mallya},
 year         = {2007},
 title        = {Coinductive Logic Programming and Its Applications},
 editor       = {V{\'e}ronica Dahl and Ilkka Niemel{\"a}},
 booktitle    = {Logic Programming},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {27--44},
 doi          = {10.1007/978-3-540-74610-2\_4},
)
@article(KL17,
 author       = {Ekaterina Komendantskaya and Yue Li},
 year         = {2017},
 title        = {Productive corecursion in logic programming},
 journal      = {{TPLP}},
 volume       = {17},
 number       = {5-6},
 pages        = {906--923},
 doi          = {10.1017/S147106841700028X},
)
@book(Llo88,
 author       = {John W. Lloyd},
 year         = {1987},
 title        = {Foundations of Logic Programming, 2nd Edition},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-83189-8},
)
@book(MN12,
 author       = {Dale Miller and Gopalan Nadathur},
 year         = {2012},
 title        = {Programming with Higher-Order Logic},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781139021326},
)
@inproceedings(SimonEtAl06,
 author       = {Luke Simon and Ajay Mallya and Ajay Bansal and Gopal Gupta},
 year         = {2006},
 title        = {Coinductive Logic Programming},
 booktitle    = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {4079},
 publisher    = {Springer},
 pages        = {330--345},
 doi          = {10.1007/11799573\_25},
)