@inproceedings(HanVezzosi16,
 author       = {K. Y. Ahn and A. Vezzosi},
 year         = {2016},
 title        = {Executable Relational Specifications of Polymorphic Type Systems using Prolog},
 booktitle    = {{FLOPS 2016}},
 pages        = {109--125},
 doi          = {10.1007/978-3-319-29604-3_8},
)
@inproceedings(AnconaCorradi14,
 author       = {D. Ancona and A. Corradi},
 year         = {2014},
 title        = {{Sound and complete subtyping between coinductive types for object-oriented languages}},
 booktitle    = {{ECOOP 2014}},
 pages        = {282--307},
 doi          = {10.1007/978-3-662-44202-9_12},
)
@inproceedings(AnconaCorradiFTfJP16,
 author       = {D. Ancona and A. Corradi},
 year         = {2016},
 title        = {A formal account of {SSA} in Java-like languages},
 booktitle    = {FTfJP@ECOOP 2016},
 pages        = {2},
 doi          = {10.1145/2955811.2955813},
)
@inproceedings(AnconaCorradi16,
 author       = {D. Ancona and A. Corradi},
 year         = {2016},
 title        = {Semantic subtyping for imperative object-oriented languages},
 booktitle    = {{OOPSLA} 2016},
 pages        = {568--587},
 doi          = {10.1145/2983990.2983992},
)
@inproceedings(AnconaL09,
 author       = {D. Ancona and G. Lagorio},
 year         = {2009},
 title        = {Coinductive Type Systems for Object-Oriented Languages},
 booktitle    = {{ECOOP} 2009},
 pages        = {2--26},
 doi          = {10.1007/978-3-642-03013-0_2},
)
@article(AL-RAIRO11,
 author       = {D. Ancona and G. Lagorio},
 year         = {2011},
 title        = {Idealized coinductive type systems for imperative object-oriented programs},
 journal      = {RAIRO - Theoretical Informatics and Applications},
 volume       = {45},
 number       = {1},
 pages        = {3--33},
 doi          = {10.1051/ita/2011009},
)
@inproceedings(AL-TCS12,
 author       = {D. Ancona and G. Lagorio},
 year         = {2012},
 title        = {Static single information form for abstract compilation},
 booktitle    = {{IFIP} {TCS} 2012},
 pages        = {10--27},
 doi          = {10.1007/978-3-642-33475-7_2},
)
@inproceedings(ACLD10-FoVeOOS10,
 author       = {D. Ancona},
 year         = {2010},
 title        = {Abstract Compilation of Object-Oriented Languages into Coinductive {CLP(X):} Can Type Inference Meet Verification?},
 booktitle    = {FoVeOOS 2010, Revised Selected Papers},
 pages        = {31--45},
 doi          = {10.1007/978-3-642-18070-5_3},
)
@article(Courcelle83,
 author       = {B. Courcelle},
 year         = {1983},
 title        = {Fundamental Properties of Infinite Trees},
 journal      = {Theor. Comput. Sci.},
 volume       = {25},
 pages        = {95--169},
 doi          = {10.1016/0304-3975(83)90059-2},
)
@misc(KSL17,
 author       = {E.Komendantskaya and M.Scmidt and Y.Li},
 year         = {2017},
 title        = {Implementation of {S}tructural {R}esolution and {C}oalgebraic {L}ogic {P}rogramming},
 url          = {https://github.com/coalp},
)
@article(KJS17,
 author       = {E.Komendantskaya},
 year         = {2017},
 title        = {A productivity checker for logic programming},
 journal      = {Post-proc. LOPSTR'16},
 url          = {http://arxiv.org/abs/1608.04415},
)
@article(EmdenA85,
 author       = {M. H. van Emden and M. A. N. Abdallah},
 year         = {1985},
 title        = {Top-Down Semantics of Fair Computations of Logic Programs},
 journal      = {J. Log. Program.},
 volume       = {2},
 number       = {1},
 pages        = {67--75},
 doi          = {10.1016/0743-1066(85)90005-6},
)
@article(FK16,
 author       = {P. Fu and E. Komendantskaya},
 year         = {2016},
 title        = {Operational semantics of resolution and productivity in {H}orn clause logic},
 journal      = {Formal Aspects of Computing},
 pages        = {1--22},
 doi          = {10.1007/s00165-016-0403-1},
)
@inproceedings(FKSP16,
 author       = {P. Fu and E. Komendantskaya and T. Schrijvers and A. Pond},
 year         = {2016},
 title        = {Proof Relevant Corecursive Resolution},
 booktitle    = {{FLOPS}'16},
 series       = {{LNCS}},
 volume       = {9613},
 publisher    = {Springer},
 pages        = {126--143},
 doi          = {10.1007/978-3-319-29604-3_9},
)
@inproceedings(GuptaBMSM07,
 author       = {G. Gupta},
 year         = {2007},
 title        = {Coinductive Logic Programming and Its Applications},
 booktitle    = {{ICLP} 2007},
 pages        = {27--44},
 doi          = {10.1007/978-3-540-74610-2_4},
)
@inproceedings(JKK15,
 author       = {P. Johann},
 year         = {2015},
 title        = {Structural Resolution for Logic Programming},
 booktitle    = {Tech. Comm. of {ICLP} 2015.},
 url          = {http://arxiv.org/abs/1507.06010},
)
@article(KomendantskayaJ15,
 author       = {E. Komendantskaya and P. 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},
)
@inproceedings(KY17,
 author       = {E. Komendantskaya and Y. Li},
 year         = {2017},
 title        = {Productive Corecursion in Logic Programming},
 booktitle    = {Under Review},
)
@article(KPS12-2,
 author       = {E. Komendantskaya},
 year         = {2016},
 title        = {Coalgebraic logic programming: from Semantics to Implementation},
 journal      = {J. Logic and Computation},
 volume       = {26},
 number       = {2},
 pages        = {745},
 doi          = {10.1093/logcom/exu026},
)
@inproceedings(Y17,
 author       = {Y. Li},
 year         = {2017},
 title        = {Structural Resolution with Coinductive Loop Detection},
 editor       = {E. Komendantskaya and J. Power},
 booktitle    = {Post-proceedings of CoALP-Ty'16},
 publisher    = {Open Publishing Association},
 url          = {http://arxiv.org/abs/1703.08336},
)
@book(Lloyd87,
 author       = {J. W. Lloyd},
 year         = {1987},
 title        = {Foundations of Logic Programming, 2nd Edition},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-83189-8},
)
@inproceedings(SimonMBG06,
 author       = {L. Simon},
 year         = {2006},
 title        = {Coinductive Logic Programming},
 booktitle    = {{ICLP} 2006},
 pages        = {330--345},
 doi          = {10.1007/11799573_25},
)
@article(SulzmannStuckey08,
 author       = {M. Sulzmann and P. J. Stuckey},
 year         = {2008},
 title        = {{HM(X)} type inference is {CLP(X)} solving},
 journal      = {J. Funct. Program.},
 volume       = {18},
 number       = {2},
 pages        = {251--283},
 doi          = {10.1017/S0956796807006569},
)