Henke, E., & 		Ribeiro, R.
(2026).
 A Mechanized Formalization of MicroKanren in Agda.
In <em>Anais do XXX Simpósio Brasileiro de Linguagens de Programação</em>, (pp. 54-62). Porto Alegre: SBC.
doi:10.5753/sblp.2026.27723