@article(alvis2011minikanren,
 author       = {Claire~E. Alvis and Jeremiah~J. Willcock and Kyle~M. Carter and William~E. Byrd and Daniel~P. Friedman},
 year         = {2011},
 title        = {c{K}anren: mini{K}anren with Constraints},
 journal      = {Scheme Workshop {\textquotesingle}11},
)
@article(brassel2008declaring,
 author       = {Bra{\ss}el, Bernd and Sebastian Fischer and Frank Huch},
 year         = {2008},
 title        = {Declaring Numbers},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {216},
 pages        = {111--124},
 url          = {http://dx.doi.org/10.1016/j.entcs.2008.06.037},
)
@inproceedings(alphamk,
 author       = {William~E. Byrd and Daniel~P. Friedman},
 year         = {2007},
 title        = {$\alpha$Kanren: A Fresh Name in Nominal Logic Programming},
 booktitle    = {Proceedings of Scheme Workshop {\textquotesingle}07, Universit\'{e} Laval Technical Report DIUL-RT-0701},
 pages        = {79--90 (\textit{see also} \unhbox\voidb@x \hbox{\url{http://webyrd.net/alphamk/alphamk.pdf}} \textit{for improvements})},
)
@inproceedings(Byrd:2012:quines,
 author       = {William~E. Byrd and Eric Holk and Daniel~P. Friedman},
 year         = {2012},
 title        = {{miniKanren}, live and untagged},
 booktitle    = {Proceedings of Scheme Workshop {\textquotesingle}12},
 publisher    = {ACM},
 url          = {http://dx.doi.org/10.1145/2661103.2661105},
)
@incollection(clark1978negation,
 author       = {Keith~L. Clark},
 year         = {1978},
 title        = {Negation as Failure},
 booktitle    = {Logic and Data Bases},
 publisher    = {Springer Science LNCS},
 pages        = {293--322},
 url          = {http://dx.doi.org/10.1007/978-1-4684-3384-5\_11},
)
@incollection(comon1994constraints,
 author       = {Hubert Comon},
 year         = {1994},
 title        = {Constraints in Term Algebras (Short Survey)},
 booktitle    = {Algebraic Methodology and Software Technology ({AMAST}'93)},
 publisher    = {Springer Science LNCS},
 pages        = {97--108},
 url          = {http://dx.doi.org/10.1007/978-1-4471-3227-1\_9},
)
@article(Comon1999,
 author       = {Hubert Comon and Mehmet Dincbas and Jean-Pierre Jouannaud and Claude Kirchner},
 year         = {1999},
 title        = {A Methodological View of Constraint Solving},
 journal      = {Constraints},
 volume       = {4},
 number       = {4},
 pages        = {337--361},
 url          = {http://dx.doi.org/10.1023/A:1009868906501},
)
@incollection(Comon_2001,
 author       = {Hubert Comon and Claude Kirchner},
 year         = {2001},
 title        = {Constraint Solving on Terms},
 booktitle    = {Constraints in Computational Logics},
 publisher    = {Springer Science LNCS},
 pages        = {47--103},
 url          = {http://dx.doi.org/10.1007/3-540-45406-3\_2},
)
@article(culpepper2010fortifying,
 author       = {Ryan Culpepper},
 year         = {2012},
 title        = {Fortifying macros},
 journal      = {Journal of Functional Programming},
 volume       = {22},
 number       = {4-5},
 pages        = {439--476},
 url          = {http://dx.doi.org/10.1017/s0956796812000275},
)
@techreport(flatt2010reference,
 author       = {Matthew Flatt and PLT},
 year         = {2010},
 title        = {Reference: Racket},
 type         = {Technical Report},
 number       = {PLT-TR-2010-1},
 institution  = {PLT Design Inc.},
 note         = {\url{http://racket-lang.org/tr1/}},
)
@book(fordan1999projection,
 author       = {Andreas Fordan},
 year         = {1999},
 title        = {Projection in Constraint Logic Programming},
 publisher    = {Ios Press},
)
@book(Fruhwirth_2009,
 author       = {Thom Fruhwirth},
 year         = {2009},
 title        = {Constraint Handling Rules},
 publisher    = {Cambridge University Press ({CUP})},
 url          = {http://dx.doi.org/10.1017/cbo9780511609886},
)
@inproceedings(hemann2016small,
 author       = {Jason Hemann and Daniel~P. Friedman and William~E. Byrd and Matthew Might},
 year         = {2016},
 title        = {A small embedding of logic programming with a simple complete search},
 booktitle    = {Proceedings of {DLS} {\textquotesingle}16},
 publisher    = {ACM},
 url          = {http://dx.doi.org/10.1145/2989225.2989230},
)
@inproceedings(hinze2000deriving,
 author       = {Ralf Hinze},
 year         = {2000},
 title        = {Deriving backtracking monad transformers},
 booktitle    = {Proceedings of {ICFP} {\textquotesingle}00},
 publisher    = {ACM},
 url          = {http://dx.doi.org/10.1145/351240.351258},
)
@article(hinze2001prolog,
 author       = {Ralf Hinze},
 year         = {2001},
 title        = {Prolog's control constructs in a functional setting Axioms and implementation},
 journal      = {International Journal of Foundations of Computer Science},
 volume       = {12},
 number       = {02},
 pages        = {125--170},
 doi          = {10.1142/S0129054101000436},
 url          = {https://dx.doi.org/10.1142/S0129054101000436},
)
@inproceedings(le1990new,
 author       = {Serge~Le Huitouze},
 year         = {1990},
 title        = {A new data structure for implementing extensions to Prolog},
 booktitle    = {Programming Language Implementation and Logic Programming},
 publisher    = {Springer Science LNCS},
 pages        = {136--150},
 url          = {http://dx.doi.org/10.1007/bfb0024181},
)
@inproceedings(jaffar87constraint,
 author       = {J.~Jaffar and J.-L. Lassez},
 year         = {1987},
 title        = {Constraint logic programming},
 booktitle    = {Proceedings of {POPL} {\textquotesingle}87},
 publisher    = {ACM},
 url          = {http://dx.doi.org/10.1145/41625.41635},
)
@article(jaffar1998semantics,
 author       = {Joxan Jaffar and Michael Maher and Kim Marriott and Peter Stuckey},
 year         = {1998},
 title        = {The semantics of constraint logic programs},
 journal      = {The Journal of Logic Programming},
 volume       = {37},
 number       = {1-3},
 pages        = {1--46},
 url          = {http://dx.doi.org/10.1016/s0743-1066(98)10002-x},
)
@article(jaffar1994constraint,
 author       = {Joxan Jaffar and Michael~J. Maher},
 year         = {1994},
 title        = {Constraint logic programming: a survey},
 journal      = {The Journal of Logic Programming},
 volume       = {19-20},
 pages        = {503--581},
 url          = {http://dx.doi.org/10.1016/0743-1066(94)90033-7},
)
@article(jaffar1993projecting,
 author       = {Joxan Jaffar and Michael~J. Maher and Peter~J. Stuckey and Roland H.~C. Yap},
 year         = {1993},
 title        = {Projecting CLP($\mathcal{R}$) constraints},
 journal      = {New Gener Comput},
 volume       = {11},
 number       = {3-4},
 pages        = {449--469},
 url          = {http://dx.doi.org/10.1007/bf03037187},
)
@inproceedings(mkmacro,
 author       = {Andrew~W. Keep and Michael~D. Adams and Lindsey Kuper and William~E. Byrd and Daniel~P. Friedman},
 year         = {2009},
 title        = {A Pattern-matcher for {miniKanren} -or- {How} to Get into Trouble with {CPS} Macros},
 booktitle    = {Proceedings of Scheme Workshop {\textquotesingle}09, Cal Poly Technical Report CPSLO-CSC-09-03},
 pages        = {37--45},
)
@misc(Kiselyov2006taste,
 author       = {Oleg Kiselyov},
 year         = {2006},
 title        = {The taste of logic programming},
 url          = {http://okmij.org/ftp/Scheme/misc.html\#sokuza-kanren},
)
@inproceedings(kiselyov2008pure,
 author       = {Oleg Kiselyov and William~E. Byrd and Daniel~P. Friedman and {Chung-chieh} Shan},
 title        = {Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)},
 booktitle    = {Functional and Logic Programming},
 publisher    = {Springer Science LNCS},
 pages        = {64--80},
 url          = {http://dx.doi.org/10.1007/978-3-540-78969-7\_7},
)
@inproceedings(kiselyov2005backtracking,
 author       = {Oleg Kiselyov and {Chung-chieh} Shan and Daniel~P. Friedman and Amr Sabry},
 year         = {2005},
 title        = {Backtracking, interleaving, and terminating monad transformers: (functional pearl)},
 booktitle    = {Proceedings of {ICFP} {\textquotesingle}05},
 volume       = {40},
 publisher    = {ACM},
 pages        = {192--203},
 url          = {http://doi.acm.org/10.1145/1086365.1086390},
)
@misc(kumar2010mechanising,
 author       = {Ramana Kumar},
 year         = {2010},
 title        = {Mechanising {A}spects of {miniKanren} in {HOL}},
 note         = {Australian National University. Bachelors thesis},
)
@article(lloyd1991partial,
 author       = {J.~W. Lloyd and J.~C. Shepherdson},
 year         = {1991},
 title        = {Partial evaluation in logic programming},
 journal      = {The Journal of Logic Programming},
 volume       = {11},
 number       = {3-4},
 pages        = {217--242},
 url          = {http://dx.doi.org/10.1016/0743-1066(91)90027-m},
)
@inproceedings(Maher93alogic,
 author       = {Michael~J. Maher},
 year         = {1993},
 title        = {A Logic Programming View of {CLP}},
 booktitle    = {Proceedings of {ICLP} {\textquotesingle}93},
 publisher    = {MIT Press},
 pages        = {737--753},
)
@inproceedings(alphatap,
 author       = {Joseph~P. Near and William~E. Byrd and Daniel~P. Friedman},
 year         = {2008},
 title        = {{\unhbox\voidb@x \hbox{$\alpha${\sf lean}\-$T\tmspace-\thinmuskip{.1667em}\tmspace-\thinmuskip{.1667em}A\tmspace-\thinmuskip{.1667em}P$}}: A Declarative Theorem Prover for First-Order Classical Logic},
 booktitle    = {Proceedings of {ICLP} {\textquotesingle}08},
 pages        = {238--252},
 url          = {http://dx.doi.org/10.1007/978-3-540-89982-2\_26},
)
@misc(nolen2016core,
 author       = {David Nolen},
 year         = {2016},
 title        = {core.logic},
 howpublished = {\url{https://github.com/clojure/core.logic}},
)
@article(schrijvers2009monadic,
 author       = {Tom Schrijvers and Peter Stuckey and Philip Wadler},
 year         = {2009},
 title        = {Monadic constraint programming},
 journal      = {Journal of Functional Programming},
 volume       = {19},
 number       = {06},
 pages        = {663},
 url          = {http://dx.doi.org/10.1017/s0956796809990086},
)
@inproceedings(spivey1999embedding,
 author       = {J.~M. Spivey and Silvija Seres},
 year         = {1999},
 title        = {Embedding {P}rolog in {H}askell},
 editor       = {E.~Meier},
 booktitle    = {Proceedings of Haskell Workshop {\textquotesingle}99, Utrecht University Technical Report UU-CS-1999-28},
 url          = {http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-28.pdf},
)