@inproceedings(CKanren,
 author       = {Claire E. Alvis and Jeremiah J. Willcock and Kyle M. Carter and William E. Byrd and Daniel P. Friedman},
 year         = {2011},
 title        = {cKanren: miniKanren with Constraints},
 booktitle    = {Proceedings of the 2011 Workshop on Scheme and Functional Programming (Scheme '11).},
 doi          = {10.1.1.231.3635},
)
@book(Unification,
 author       = {Franz Baader and Wayne Snyder},
 year         = {2001},
 title        = {Handbook of Automated Reasoning},
 publisher    = {Elsevier and MIT Press},
 doi          = {10.1016/B978-044450813-3/50010-2},
)
@book(Lambda,
 author       = {H. P. Barendregt},
 year         = {1992},
 title        = {Handbook of Logic in Computer Science (Vol. 2)},
 publisher    = {Oxford University Press, Inc.},
 address      = {New York, NY, USA},
 doi          = {10.1.1.26.4391},
 url          = {http://dl.acm.org/citation.cfm?id=162552.162561},
)
@unpublished(triangular,
 author       = {David C. Bender and Lindsey Kuper and William E. Byrd and Daniel P. Friedman},
 year         = {2009},
 title        = {Efficient Representations for Triangular Substitutions: a Comparison in miniKanren},
 note         = {Unpublished manuscript},
)
@phdthesis(WillThesis,
 author       = {William E. Byrd},
 year         = {2009},
 title        = {Relational Programming in Minikanren: Techniques, Applications, and Implementations},
 address      = {Indianapolis, IN, USA},
 doi          = {10.1.1.363.5478},
 note         = {AAI3380156},
)
@article(Optimizations,
 author       = {William E. Byrd and Michael Ballantyne},
 year         = {2017},
 title        = {Personal communications},
)
@inproceedings(Untagged,
 author       = {William E. Byrd and Eric Holk and Daniel P. Friedman},
 year         = {2012},
 title        = {miniKanren, Live and Untagged: Quine Generation via Relational Interpreters (Programming Pearl)},
 booktitle    = {Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming},
 series       = {Scheme '12},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {8--29},
 doi          = {10.1145/2661103.2661105},
)
@article(InstantGenerics,
 author       = {Manuel M. T. Chakravarty and Gabriel C. Ditu and Roman Leshchinskiy},
 year         = {2009},
 title        = {Instant Generics: Fast and Easy},
 doi          = {10.1.1.150.1033},
 url          = {http://www.cse.unsw.edu.au/~chak/papers/CDL09.html},
)
@article(Unparsing,
 author       = {Olivier Danvy},
 year         = {1998},
 title        = {Functional Unparsing},
 journal      = {Journal of Functional Programming},
 volume       = {8},
 number       = {6},
 doi          = {10.1017/S0956796898003104},
 url          = {https://dl.acm.org/citation.cfm?id=969603},
)
@article(DoWeNeed,
 author       = {Daniel Fridlender and Mia Indrika},
 year         = {2000},
 title        = {Do we need dependent types?},
 journal      = {Journal of Functional Programming},
 volume       = {10},
 number       = {4},
 doi          = {10.1017/S0956796800003658},
 url          = {https://dl.acm.org/citation.cfm?id=967474},
)
@book(TRS,
 author       = {Daniel P. Friedman and William E. Byrd and Oleg Kiselyov},
 year         = {2005},
 title        = {The Reasoned Schemer},
 publisher    = {The MIT Press},
)
@inproceedings(DGP,
 author       = {Jeremy Gibbons},
 year         = {2007},
 title        = {Datatype-generic Programming},
 booktitle    = {Proceedings of the 2006 International Conference on Datatype-generic Programming},
 series       = {SSDGP'06},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {1--71},
 doi          = {10.1007/978-3-540-76786-2_1},
 url          = {http://dl.acm.org/citation.cfm?id=1782894.1782895},
)
@inproceedings(CurryFirstPaper,
 author       = {M. Hanus and H. Kuchen and Moreno-Navarro, J.J.},
 year         = {1995},
 title        = {Curry: A Truly Functional Logic Language},
 booktitle    = {Proc. ILPS'95 Workshop on Visions for the Future of Logic Programming},
 pages        = {95--107},
 doi          = {10.1.1.33.7348},
)
@inproceedings(MicroKanren,
 author       = {Jason Hemann and Daniel P. Friedman},
 year         = {2013},
 title        = {$\mu$Kanren: A Minimal Core for Relational Programming},
 booktitle    = {Proceedings of the 2013 Workshop on Scheme and Functional Programming (Scheme'13)},
 url          = {http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf},
)
@inproceedings(MuKanrenNew,
 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 the 12th Symposium on Dynamic Languages},
 series       = {DLS 2016},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {96--107},
 doi          = {10.1145/2989225.2989230},
)
@inproceedings(KiselyovArithm,
 author       = {Oleg Kiselyov and William E. Byrd and Daniel P. Friedman and Chung-Chieh Shan},
 year         = {2008},
 title        = {Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)},
 booktitle    = {Proceedings of the 9th International Conference on Functional and Logic Programming},
 series       = {FLOPS'08},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {64--80},
 doi          = {10.1007/978-3-540-78969-7_7},
 url          = {http://dl.acm.org/citation.cfm?id=1788446.1788456},
)
@article(KiselyovBacktracking,
 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)},
 journal      = {SIGPLAN Not.},
 volume       = {40},
 number       = {9},
 pages        = {192--203},
 doi          = {10.1145/1090189.1086390},
)
@inproceedings(TypedLogicalVariables,
 author       = {Claessen Koen and Ljungl\tmspace+\medmuskip{.2222em}of, Peter},
 year         = {2001},
 title        = {Typed Logical Variables in Haskell},
 booktitle    = {Electronic Notices in Theoretical Computer Science},
 volume       = {41},
 doi          = {10.1016/S1571-0661(05)80544-4},
)
@misc(Kumar,
 author       = {Ramana Kumar},
 year         = {2010},
 title        = {Mechanising Aspects of miniKanren in HOL},
 howpublished = {Bachelor Thesis, The Australian National University},
)
@inproceedings(SheardTMH,
 author       = {Tim Sheard and Simon Peyton Jones},
 year         = {2002},
 title        = {Template Meta-programming for Haskell},
 booktitle    = {Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell},
 series       = {Haskell '02},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {1--16},
 doi          = {10.1145/581690.581691},
)
@article(MercuryFirstPaper,
 author       = {Zoltan Somogyi and Fergus Henderson and Thomas Conway},
 year         = {1996},
 title        = {The execution algorithm of mercury, an efficient purely declarative logic programming language},
 journal      = {The Journal of Logic Programming},
 volume       = {29},
 number       = {1},
 pages        = {17 -- 64},
 doi          = {10.1016/S0743-1066(96)00068-4},
 url          = {http://www.sciencedirect.com/science/article/pii/S0743106696000684},
 note         = {High-Performance Implementations of Logic Programming Systems},
)
@inproceedings(PrologInHaskell,
 author       = {Michael Spivey and Silvija Seres},
 year         = {1999},
 title        = {Embedding PROLOG in HASKELL},
 booktitle    = {Proceedings of the 1999 Haskell Workshop},
 doi          = {10.1.1.35.8710},
)
@article(ALaCarte,
 author       = {Wouter Swierstra},
 year         = {2008},
 title        = {Data Types \'a la Carte},
 journal      = {Journal of Functional Programming},
 volume       = {18},
 number       = {4},
 doi          = {10.1017/S0956796808006758},
)
@inproceedings(Implicits,
 author       = {Leo White and Fr\'ed\'eric Bour and Jeremy Yallop},
 year         = {2015},
 title        = {Modular Implicits},
 booktitle    = {Proceedings ML Family/OCaml Users and Developers workshops},
 volume       = {198},
 pages        = {22--63},
 doi          = {10.4204/EPTCS.198.2},
 url          = {http://arxiv.org/abs/1512.01895},
)
@inproceedings(Deriving,
 author       = {Jeremy Yallop},
 year         = {2007},
 title        = {Practical Generic Programming in OCaml},
 booktitle    = {Proceedings of the 2007 Workshop on Workshop on ML},
 series       = {ML '07},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {83--94},
 doi          = {10.1145/1292535.1292548},
)
@inbook(HKinded,
 author       = {Jeremy Yallop and Leo White},
 year         = {2014},
 title        = {Lightweight Higher-Kinded Polymorphism},
 pages        = {119--135},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 doi          = {10.1007/978-3-319-07151-0_8},
)