@misc(nysccchrappendices2017,
 author       = {Annex},
 year         = {2017},
 title        = {{Transforming} {Coroutining} {Logic} {Programs} to {Equivalent} {CHR} {Programs}: {Appendices}},
 howpublished = {\url{http://perswww.kuleuven.be/~u0055408/transforming-to-chr-appendices.pdf}},
)
@article(bruynooghe1991practical,
 author       = {Maurice Bruynooghe},
 year         = {1991},
 title        = {A Practical Framework for the Abstract Interpretation of Logic Programs},
 journal      = {J. Log. Program.},
 volume       = {10},
 number       = {2},
 pages        = {91--124},
 doi          = {10.1016/0743-1066(91)80001-T},
)
@article(bruynooghe1989compiling,
 author       = {Maurice Bruynooghe and Danny De Schreye and Bruno Krekels},
 year         = {1989},
 title        = {{Compiling} {Control}},
 journal      = {The Journal of Logic Programming},
 volume       = {6},
 number       = {1{\&}2},
 pages        = {135--162},
 doi          = {10.1016/0743-1066(89)90033-2},
)
@article(deschreyetransformation1989,
 author       = {De Schreye, Danny and Maurice Bruynooghe},
 year         = {1989},
 title        = {{On} the {Transformation} of {Logic} {Programs} with {Instantiation} {Based} {Computation} {Rules}},
 journal      = {Journal of Symbolic Computation},
 volume       = {7},
 number       = {2},
 pages        = {125--154},
 doi          = {10.1016/S0747-7171(89)80046-X},
)
@article(fruhwirth1998theory,
 author       = {Thom W. Fr{\"{u}}hwirth},
 year         = {1998},
 title        = {{Theory} and {Practice} of {Constraint} {Handling} {Rules}},
 journal      = {The Journal of Logic Programming},
 volume       = {37},
 number       = {1-3},
 pages        = {95--138},
 doi          = {10.1016/S0743-1066(98)10005-5},
)
@inproceedings(DBLP:conf/compulog/Fruhwirth99,
 author       = {Thom W. Fr{\"{u}}hwirth},
 year         = {1999},
 title        = {Proving Termination of Constraint Solver Programs},
 editor       = {Krzysztof R. Apt and Antonis C. Kakas and Eric Monfroy and Francesca Rossi},
 booktitle    = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {1865},
 publisher    = {Springer},
 pages        = {298--317},
 doi          = {10.1007/3-540-44654-0_15},
)
@inproceedings(DBLP:conf/kr/Fruhwirth02,
 author       = {Thom W. Fr{\"{u}}hwirth},
 year         = {2002},
 title        = {As Time Goes by: Automatic Complexity Analysis of Simplified Rules},
 editor       = {Dieter Fensel and Fausto Giunchiglia and Deborah L. McGuinness and Mary{-}Anne Williams},
 booktitle    = {Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002},
 publisher    = {Morgan Kaufmann},
 pages        = {547--557},
 doi          = {10.1016/S1571-0661(04)00288-9},
)
@article(gallagher1990some,
 author       = {John Gallagher and Maurice Bruynooghe},
 year         = {1990},
 title        = {Some low-level source transformations for logic programs},
 journal      = {Proceedings Meta},
 volume       = {90},
 pages        = {229--244},
)
@article(leuschelframework2004,
 author       = {Michael Leuschel},
 year         = {2004},
 title        = {A framework for the integration of partial evaluation and abstract interpretation of logic programs},
 journal      = {{ACM} Trans. Program. Lang. Syst.},
 volume       = {26},
 number       = {3},
 pages        = {413--463},
 doi          = {10.1145/982158.982159},
)
@book(lloyd1987foundations,
 author       = {John W. Lloyd},
 year         = {1987},
 title        = {Foundations of Logic Programming, 2nd Edition},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-83189-8},
)
@article(lloyd1991partial,
 author       = {John W. Lloyd and John C. Shepherdson},
 year         = {1991},
 title        = {Partial Evaluation in Logic Programming},
 journal      = {J. Log. Program.},
 volume       = {11},
 number       = {3{\&}4},
 pages        = {217--242},
 doi          = {10.1016/0743-1066(91)90027-M},
)
@article(nys2017abstract,
 author       = {Vincent Nys and Danny De Schreye},
 year         = {2017},
 title        = {Abstract conjunctive partial deduction for the analysis and compilation of coroutines},
 journal      = {Formal Asp. Comput.},
 volume       = {29},
 number       = {1},
 pages        = {125--153},
 doi          = {10.1007/s00165-016-0389-8},
)
@article(deschreyetermination1994,
 author       = {Danny De Schreye and Stefaan Decorte},
 year         = {1994},
 title        = {Termination of Logic Programs: The Never-Ending Story},
 journal      = {J. Log. Program.},
 volume       = {19/20},
 pages        = {199--260},
 doi          = {10.1016/0743-1066(94)90027-2},
)
@inproceedings(deschreyeanalysing2014,
 author       = {Danny De Schreye and Vincent Nys and Colin J. Nicholson},
 year         = {2014},
 title        = {Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction},
 editor       = {Maurizio Proietti and Hirohisa Seki},
 booktitle    = {Logic-Based Program Synthesis and Transformation - 24th International Symposium, {LOPSTR} 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {8981},
 publisher    = {Springer},
 pages        = {21--38},
 doi          = {10.1007/978-3-319-17822-6_2},
)
@inproceedings(schrijvers2008,
 author       = {Tom Schrijvers},
 year         = {2008},
 title        = {Constraint Handling Rules},
 editor       = {Maria Garcia de la Banda and Enrico Pontelli},
 booktitle    = {Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {5366},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {9--10},
 doi          = {10.1007/978-3-540-89982-2_3},
)