G. S. Frandsen, “Logic Programming, Substitutions and Finite Computability”, DPB, bd. 13, nr. 186, jan. 1985.