FRANDSEN, G. S. Logic Programming, Substitutions and Finite Computability. DAIMI Report Series, [S. l.], v. 13, n. 186, 1985. DOI: 10.7146/dpb.v13i186.7459. Disponível em: https://tidsskrift.dk/daimipb/article/view/7459. Acesso em: 9 may. 2024.