William E. Byrd, Eric Holk, Daniel P. Friedman. miniKanren, live and untagged: quine generation via relational interpreters (programming pearl). In Olivier Danvy, editor, Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming, Scheme 2012, Copenhagen, Denmark, September 9-15, 2012. pages 8-29, ACM, 2012. [doi]
Abstract is missing.