Nada Amin, William E. Byrd, and Tiark Rompf. 8/26/2021. “Prolog-Style Meta-Programming miniKanren.” In miniKanren Workshop. Publisher's Version