Mosses, P. D.; Plotkin, G. D. On Proving Limited Completeness. DPB 1985, 14.