Frandsen, G. S. “Logic Programming, Substitutions and Finite Computability”. DAIMI Report Series, vol. 13, no. 186, Jan. 1985, doi:10.7146/dpb.v13i186.7459.