@article(antoy05,
 author       = {Sergio Antoy},
 year         = {2005},
 title        = {Evaluation Strategies for Functional Logic Programming},
 journal      = {J. Symb. Comput.},
 volume       = {40},
 number       = {1},
 pages        = {875--903},
 doi          = {10.1016/j.jsc.2004.12.007},
)
@inproceedings(Babcock02,
 author       = {Brian Babcock and Shivnath Babu and Mayur Datar and Rajeev Motwani and Jennifer Widom},
 year         = {2002},
 title        = {Models and Issues in Data Stream Systems},
 booktitle    = {Proceedings of the Twenty-first ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems},
 series       = {PODS '02},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {1--16},
 doi          = {10.1145/543613.543615},
)
@book(beazley09,
 author       = {David M. Beazley},
 year         = {2009},
 title        = {Python Essential Reference},
 edition      = {4th},
 publisher    = {Addison-Wesley Professional},
)
@inproceedings(Beck15,
 author       = {Harald Beck and Dao-Tran, Minh and Thomas Eiter and Michael Fink},
 year         = {2015},
 title        = {{LARS: A Logic-based Framework for Analyzing Reasoning over Streams}},
 booktitle    = {Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence},
 series       = {AAAI'15},
 publisher    = {AAAI Press},
 pages        = {1431--1438},
 doi          = {10.1016/j.artint.2018.04.003},
)
@inproceedings(lazyCiao,
 author       = {Amadeo Casas and Daniel Cabeza and Manuel V. Hermenegildo},
 year         = {2006},
 title        = {{A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in {LP} Systems}},
 editor       = {Masami Hagiya and Philip Wadler},
 booktitle    = {Functional and Logic Programming, 8th International Symposium, {FLOPS} 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {3945},
 publisher    = {Springer},
 pages        = {146--162},
 doi          = {10.1007/11737414\_11},
)
@article(casas2005functional,
 author       = {Amadeo Casas and Cabeza Gras, Daniel and Manuel V Hermenegildo},
 year         = {2005},
 title        = {Functional notation and lazy evaluation in Ciao},
 journal      = {CICLOPS 2005},
 note         = {{https://cliplab.org/papers/lazy-functions-ciclops05.pdf}},
)
@inproceedings(holz92,
 author       = {Christian Holzbaur},
 year         = {1992},
 title        = {{Metastructures vs. attributed variables in the context of extensible unification}},
 editor       = {Maurice Bruynooghe and Martin Wirsing},
 booktitle    = {Programming Language Implementation and Logic Programming},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {260--268},
 doi          = {10.1007/3-540-55844-6\_141},
)
@inproceedings(hudak07,
 author       = {Paul Hudak and John Hughes and Peyton Jones, Simon and Philip Wadler},
 year         = {2007},
 title        = {A History of Haskell: Being Lazy with Class},
 booktitle    = {Proceedings of the Third ACM SIGPLAN Conference on History of Programming Languages},
 series       = {HOPL III},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {12--1--12--55},
 doi          = {10.1145/1238844.1238856},
)
@article(Law11,
 author       = {Yan-Nei Law and Haixun Wang and Carlo Zaniolo},
 year         = {2011},
 title        = {Relational Languages and Data Models for Continuous Queries on Sequences and Data Streams},
 journal      = {ACM Trans. Database Syst.},
 volume       = {36},
 number       = {2},
 pages        = {8:1--8:32},
 doi          = {10.1145/1966385.1966386},
)
@article(moggi:monads,
 author       = {Eugenio Moggi},
 year         = {1991},
 title        = {Notions of Computation and Monads},
 journal      = {Information and Computation},
 volume       = {93},
 pages        = {55--92},
 doi          = {10.1016/0890-5401(91)90052-4},
)
@book(pyref,
 author       = {Guido van Rossum and Fred L. Drake},
 year         = {2011},
 title        = {The Python Language Reference Manual},
 publisher    = {Network Theory Ltd.},
)
@article(delim,
 author       = {Tom Schrijvers and Bart Demoen and Benoit Desouter and Jan Wielemaker},
 year         = {2013},
 title        = {Delimited continuations for {P}rolog},
 journal      = {{Theory and Practice of Logic Programming}},
 volume       = {13},
 number       = {4-5},
 pages        = {533--546},
 doi          = {10.1017/S1471068413000331},
)
@article(tor,
 author       = {Tom Schrijvers and Bart Demoen and Markus Triska and Benoit Desouter},
 year         = {2014},
 title        = {Tor: Modular search with hookable disjunction},
 journal      = {Science of Computer Programming},
 volume       = {84},
 pages        = {101--120},
 doi          = {10.1016/j.scico.2013.05.008},
)
@inproceedings(tarau:cl2000,
 author       = {Paul Tarau},
 year         = {2000},
 title        = {{Fluents: A Refactoring of Prolog for Uniform Reflection and Interoperation with External Objects}},
 editor       = {John Lloyd},
 booktitle    = {{Computational Logic--CL 2000: First International Conference}},
 address      = {London, UK},
 doi          = {10.1007/3-540-44957-4\_82},
 note         = {LNCS 1861, Springer-Verlag},
)
@article(bp2011,
 author       = {Paul Tarau},
 year         = {2012},
 title        = {{The BinProlog Experience: Architecture and Implementation Choices for Continuation Passing Prolog and First-Class Logic Engines}},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {12},
 number       = {1-2},
 pages        = {97--126},
 doi          = {10.1017/S1471068411000433},
)
@article(serpro,
 author       = {Paul Tarau},
 year         = {2013},
 title        = {{Compact Serialization of Prolog Terms (with Catalan Skeletons, Cantor Tupling and G\"odel Numberings)}},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {13},
 number       = {4-5},
 pages        = {847--861},
 doi          = {10.1017/S1471068413000537},
)
@inproceedings(padl09inter,
 author       = {Paul Tarau and Arun Majumdar},
 year         = {2009},
 title        = {{Interoperating Logic Engines}},
 booktitle    = {{Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009}},
 publisher    = {Springer, LNCS 5418},
 address      = {Savannah, Georgia},
 pages        = {137--151},
 doi          = {10.1007/978-3-540-92995-6\_10},
)
@article(wadler93:cont,
 author       = {Philip Wadler},
 year         = {1993},
 title        = {Monads and composable continuations},
 journal      = {Lisp and Symbolic Computation},
 pages        = {1--17},
 doi          = {10.1007/BF01019944},
)
@inproceedings(swi_threads,
 author       = {Jan Wielemaker},
 year         = {2003},
 title        = {Native Preemptive Threads in {SWI-Prolog}},
 editor       = {Catuscia Palamidessi},
 booktitle    = {Practical Aspects of Declarative Languages},
 publisher    = {Springer Verlag},
 address      = {Berlin, Germany},
 pages        = {331--345},
 doi          = {10.1007/978-3-540-24599-5\_23},
 note         = {LNCS 2916},
)
@article(swi,
 author       = {Jan Wielemaker and Tom Schrijvers and Markus Triska and Torbjorn Lager},
 year         = {2012},
 title        = {{SWI-Prolog}},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {12},
 pages        = {67--96},
 doi          = {10.1017/S1471068411000494},
)