Henke, E., & 		Ribeiro, R.
2026 set  8.  A Mechanized Formalization of MicroKanren in Agda. Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP). [Online] :