G. S. Frandsen, “Logic Programming, Substitutions and Finite Computability”, DPB, vol. 13, no. 186, Jan. 1985.