Henke, Eduardo, and Rodrigo Ribeiro.
" A Mechanized Formalization of MicroKanren in Agda." <em>Anais do XXX Simpósio Brasileiro de Linguagens de Programação,
São Paulo/SP, 2026</em>. SBC, 2026,  
pp.54-62.