@inproceedings{kanrenaminimalfunctionalcorefor,
  title = {µKanren: A Minimal Functional Core for Relational Programming},
  author = {Jason Hemann and Daniel P. Friedman},
  year = {2013},
  booktitle = {Scheme '13 2013 11},
  url = {http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf},
}