@book(kaci91:WAM,
 author       = {A{\"\i}t-Kaci, H.},
 year         = {1991},
 title        = {{Warren}'s Abstract Machine: A Tutorial Reconstruction},
 publisher    = {MIT Press},
 doi          = {10.7551/mitpress/7160.001.0001},
)
@article(van2021modular,
 author       = {Michael van Bekkum and Maaike de Boer and Frank van Harmelen and Meyer-Vitali, Andr{\'e} and Annette ten Teije},
 year         = {2021},
 title        = {Modular Design Patterns for Hybrid Learning and Reasoning Systems: a taxonomy, patterns and use cases},
 journal      = {arXiv preprint arXiv:2102.11965},
)
@article(clingo,
 author       = {Pedro Cabalar and Jorge Fandinno and Javier Garea and Javier Romero and Torsten Schaub},
 year         = {2020},
 title        = {eclingo : {A} Solver for Epistemic Logic Programs},
 journal      = {Theory Pract. Log. Program.},
 volume       = {20},
 number       = {6},
 pages        = {834--847},
 doi          = {10.1017/S1471068420000228},
)
@inproceedings(hilog,
 author       = {W. Chen and M. Kifer and D.S. Warren},
 year         = {1989},
 title        = {{HiLog}: A First-Order Semantics for Higher-Order Logic Programming Constructs},
 editor       = {E.L. Lusk and R.A. Overbeek},
 booktitle    = {1st North American Conf. Logic Programming},
 publisher    = {MIT Press},
 address      = {Cleveland, OH},
 pages        = {1090--1114},
)
@book(microprolog,
 author       = {Keith L. Clark and Frank G. McCabe},
 year         = {1984},
 title        = {Micro-Prolog - programming in logic},
 series       = {Prentice Hall international series in computer science},
 publisher    = {Prentice Hall},
)
@inproceedings(yapJIT,
 author       = {V{\'{\i}}tor Santos Costa},
 year         = {2009},
 title        = {On Just in Time Indexing of Dynamic Predicates in Prolog},
 editor       = {Lu{\'{\i}}s Seabra Lopes and Nuno Lau and Pedro Mariano and Luis Mateus Rocha},
 booktitle    = {Progress in Artificial Intelligence, 14th Portuguese Conference on Artificial Intelligence, {EPIA} 2009, Aveiro, Portugal, October 12-15, 2009. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {5816},
 publisher    = {Springer},
 pages        = {126--137},
 doi          = {10.1007/978-3-642-04686-5\_11},
)
@article(de2020statistical,
 author       = {De Raedt, Luc and Duman{\v{c}}i{\'c}, Sebastijan and Robin Manhaeve and Giuseppe Marra},
 year         = {2020},
 title        = {From statistical relational to neuro-symbolic artificial intelligence},
 journal      = {arXiv preprint arXiv:2003.08316},
)
@article(d2020neurosymbolic,
 author       = {Artur d'Avila Garcez and Luis C Lamb},
 year         = {2020},
 title        = {Neurosymbolic AI: The 3rd Wave},
 journal      = {arXiv e-prints},
 pages        = {arXiv--2012},
)
@article(kowalski76,
 author       = {R. Kowalski and M. Van Emden},
 year         = {1976},
 title        = {{The Semantics of Predicate Logic as a Programming Language}},
 journal      = {JACM},
 volume       = {23},
 number       = {4},
 pages        = {733--743},
 doi          = {10.1145/321250.321253},
)
@article(lamb2020graph,
 author       = {Luis Lamb and Artur Garcez and Marco Gori and Marcelo Prates and Pedro Avelar and Moshe Vardi},
 year         = {2020},
 title        = {Graph neural networks meet neural-symbolic computing: A survey and perspective},
 journal      = {arXiv preprint arXiv:2003.00330},
)
@book(lloyd84,
 author       = {John W. Lloyd},
 year         = {1984},
 title        = {Foundations of Logic Programming, 1st Edition},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-96826-6},
)
@incollection(deepProblog,
 author       = {Robin Manhaeve and Sebastijan Dumancic and Angelika Kimmig and Thomas Demeester and De Raedt, Luc},
 year         = {2018},
 title        = {DeepProbLog: Neural Probabilistic Logic Programming},
 editor       = {S. Bengio and H. Wallach and H. Larochelle and K. Grauman and Cesa-Bianchi, N. and R. Garnett},
 booktitle    = {Advances in Neural Information Processing Systems 31},
 publisher    = {Curran Associates, Inc.},
 pages        = {3749--3759},
 url          = {http://papers.nips.cc/paper/7632-deepproblog-neural-probabilistic-logic-programming.pdf},
)
@article(scikit-learn,
 author       = {F. Pedregosa and G. Varoquaux and A. Gramfort and V. Michel and B. Thirion and O. Grisel and M. Blondel and P. Prettenhofer and R. Weiss and V. Dubourg and J. Vanderplas and A. Passos and D. Cournapeau and M. Brucher and M. Perrot and E. Duchesnay},
 year         = {2011},
 title        = {Scikit-learn: Machine Learning in {P}ython},
 journal      = {Journal of Machine Learning Research},
 volume       = {12},
 pages        = {2825--2830},
)
@article(ramesh,
 author       = {R. Ramesh and I.V. Ramakrishnan and R.C. Sekar},
 year         = {2001},
 title        = {Automata-driven efficient subterm unification},
 journal      = {Theoretical Computer Science},
 volume       = {254},
 number       = {1},
 pages        = {187--223},
 doi          = {10.1016/S0304-3975(99)00131-0},
)
@article(xsb,
 author       = {Terrance Swift and S. Warren, David},
 year         = {2012},
 title        = {{XSB: Extending Prolog with Tabled Logic Programming}},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {12},
 pages        = {157--187},
 doi          = {10.1017/S1471068411000500},
)
@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.1007/978-3-642-60085-2_2},
)
@inproceedings(iclp17,
 author       = {Paul Tarau},
 year         = {2018},
 title        = {{A Hitchhiker's Guide to Reinventing a Prolog Machine}},
 editor       = {Ricardo Rocha and Tran Cao Son and Christopher Mears and Neda Saeedloei},
 booktitle    = {Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)},
 series       = {OpenAccess Series in Informatics (OASIcs)},
 volume       = {58},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {10:1--10:16},
 doi          = {10.4230/OASIcs.ICLP.2017.10},
 url          = {http://drops.dagstuhl.de/opus/volltexte/2018/8453},
)
@inproceedings(padl21,
 author       = {Paul Tarau},
 year         = {2021},
 title        = {{A Family of Unification-Oblivious Program Transformations and Their Applications}},
 editor       = {Jos{\'{e}} F. Morales and Dominic A. Orchard},
 booktitle    = {Practical Aspects of Declarative Languages - 23rd International Symposium, {PADL} 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {12548},
 publisher    = {Springer},
 pages        = {3--19},
 doi          = {10.1007/978-3-030-67438-0\_1},
)
@article(td:tlp,
 author       = {Paul Tarau and Veronica Dahl},
 year         = {2001},
 title        = {{High-Level Networking with Mobile Code and First Order AND-Continuations}},
 journal      = {{Theory and Practice of Logic Programming}},
 volume       = {1},
 number       = {3},
 pages        = {359--380},
 doi          = {10.1017/S1471068401001193},
 note         = {Cambridge University Press},
)