Frandsen, G. S. Logic Programming, Substitutions and Finite Computability. DPB 1985, 13.