miniKanren, live and untagged: quine generation via relational interpreters (programming pearl).

William E. Byrd, Eric Holk, Daniel P. Friedman

Browse the full ICFP paper archive.