@article(Ancona13coSLDinProlog,
 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(AbstractCompAnconaCLD10,
 author       = {Davide Ancona and Andrea Corradi and Giovanni Lagorio and Ferruccio Damiani},
 year         = {2010},
 title        = {Abstract Compilation of Object-Oriented Languages into Coinductive {CLP(X):} Can Type Inference Meet Verification?},
 booktitle    = {Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers},
 pages        = {31--45},
 doi          = {10.1007/978-3-642-18070-5_3},
)
@article(AnconaCoSLD15,
 author       = {Davide Ancona and Agostino Dovier},
 year         = {2015},
 title        = {A Theoretical Perspective of Coinductive Logic Programming},
 journal      = {Fundam. Inform.},
 volume       = {140},
 number       = {3-4},
 pages        = {221--246},
 doi          = {10.3233/FI-2015-1252},
)
@book(clark1980predicate,
 author       = {K.L. Clark},
 year         = {1980},
 title        = {Predicate Logic as a Computational Formalism},
 series       = {Research monograph / Department of Computing, Imperial College of Science and Technology, University of London},
 url          = {https://www.doc.ic.ac.uk/~klc/monograph.html},
)
@article(PrologIn10Figures,
 author       = {Alain Colmerauer},
 year         = {1985},
 title        = {Prolog in 10 Figures},
 journal      = {Commun. ACM},
 volume       = {28},
 number       = {12},
 pages        = {1296--1310},
 doi          = {10.1145/214956.214958},
)
@article(TreeByCOURCELLE1983,
 author       = {Bruno Courcelle},
 year         = {1983},
 title        = {Fundamental properties of infinite trees},
 journal      = {Theoretical Computer Science},
 volume       = {25},
 number       = {2},
 pages        = {95 -- 169},
 doi          = {10.1016/0304-3975(83)90059-2},
)
@article(ALogicalReconstructionOfPrologII,
 author       = {M.H. van Emden and J.W. Lloyd},
 year         = {1984},
 title        = {A logical reconstruction of Prolog II},
 journal      = {The Journal of Logic Programming},
 volume       = {1},
 number       = {2},
 pages        = {143 -- 149},
 doi          = {10.1016/0743-1066(84)90001-3},
)
@article(Endrullis2010PoductiveStream,
 author       = {J\"{o}rg Endrullis and Clemens Grabmayer and Dimitri Hendriks and Ariya Isihara and Jan Willem Klop},
 year         = {2010},
 title        = {Productivity of Stream Definitions},
 journal      = {Theor. Comput. Sci.},
 volume       = {411},
 number       = {4-5},
 pages        = {765--782},
 doi          = {10.1016/j.tcs.2009.10.014},
)
@inbook(Gupta2007,
 author       = {Gopal Gupta and Ajay Bansal and Richard Min and Luke Simon and Ajay Mallya},
 year         = {2007},
 title        = {Coinductive Logic Programming and Its Applications},
 pages        = {27--44},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-540-74610-2_4},
)
@article(JaffarInfTreeLP,
 author       = {Joxan Jaffar and Peter J. Stuckey},
 year         = {1986},
 title        = {Semantics of Infinite Tree Logic Programming},
 journal      = {Theor. Comput. Sci.},
 volume       = {46},
 number       = {2-3},
 pages        = {141--158},
 doi          = {10.1016/0304-3975(86)90027-7},
)
@inproceedings(RewTreeJohannKK15,
 author       = {Patricia Johann and Ekaterina Komendantskaya and Vladimir Komendantskiy},
 year         = {2015},
 title        = {Structural Resolution for Logic Programming},
 booktitle    = {Tech. Commu. of ICLP' 15},
)
@misc(KatyaCommunication,
 author       = {Ekaterina Komendantskaya},
 year         = {2017},
 title        = {Personal communication},
)
@article(StrResoKomendantskayaJ15,
 author       = {Ekaterina Komendantskaya and Patricia Johann},
 year         = {2015},
 title        = {Structural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic},
 journal      = {CoRR},
 volume       = {abs/1511.07865},
 url          = {http://arxiv.org/abs/1511.07865},
)
@article(KatyaProductivityChecker16,
 author       = {Ekaterina Komendantskaya and Patricia Johann and Martin Schmidt},
 year         = {2016},
 title        = {A Productivity Checker for Logic Programming},
 journal      = {LOPSTR'16},
 url          = {http://arxiv.org/abs/1608.04415},
)
@article(CoALPSemanImpKKJPMS16,
 author       = {Ekaterina Komendantskaya and John Power and Martin Schmidt},
 year         = {2016},
 title        = {Coalgebraic logic programming: from Semantics to Implementation},
 journal      = {Journal of Logic and Computation},
 volume       = {26},
 number       = {2},
 pages        = {745},
 doi          = {10.1093/logcom/exu026},
)
@unpublished(Yue17SresoImple,
 author       = {Yue Li},
 year         = {2016},
 title        = {Comparative Study of Search Strategies for Term-Matching and Unification Based Resolution in Prolog},
 url          = {http://www.macs.hw.ac.uk/~yl55/CoALP_Report_Dec16.pdf},
 note         = {Unpublished},
)
@book(FoundOfLPLloyd1987,
 author       = {J. W. Lloyd},
 year         = {1987},
 title        = {Foundations of Logic Programming; (2Nd Extended Ed.)},
 publisher    = {Springer-Verlag New York, Inc.},
 address      = {New York, NY, USA},
 doi          = {10.1007/978-3-642-83189-8},
)
@article(MartelliUnification,
 author       = {Alberto Martelli and Ugo Montanari},
 year         = {1982},
 title        = {An Efficient Unification Algorithm},
 journal      = {ACM Trans. Program. Lang. Syst.},
 volume       = {4},
 number       = {2},
 pages        = {258--282},
 doi          = {10.1145/357162.357169},
)
@article(SijtsmaProductivityOfRecursiveListDefn,
 author       = {Ben A. Sijtsma},
 year         = {1989},
 title        = {On the Productivity of Recursive List Definitions},
 journal      = {ACM Trans. Program. Lang. Syst.},
 volume       = {11},
 number       = {4},
 pages        = {633--649},
 doi          = {10.1145/69558.69563},
)
@phdthesis(SimonThesis2006,
 author       = {Luke Simon},
 year         = {2006},
 title        = {Extending Logic Programming with Coinduction},
 school       = {The University of Texas at Dallas},
 url          = {http://www.utdallas.edu/~gupta/lukethesis.pdf},
)
@inbook(SimonCoSLD2006,
 author       = {Luke Simon and Ajay Mallya and Ajay Bansal and Gopal Gupta},
 year         = {2006},
 title        = {Coinductive Logic Programming},
 pages        = {330--345},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/11799573_25},
)
@article(KowalVESemanLP76,
 author       = {Van Emden, M. H. and R. A. Kowalski},
 year         = {1976},
 title        = {The Semantics of Predicate Logic As a Programming Language},
 journal      = {J. ACM},
 volume       = {23},
 number       = {4},
 pages        = {733--742},
 doi          = {10.1145/321978.321991},
)
@inbook(SemanOfPrologWithoutOccursCheckWeijland1988,
 author       = {W. P. Weijland},
 year         = {1988},
 title        = {Semantics for logic programs without occur check},
 pages        = {710--726},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1016/0304-3975(90)90194-M},
)