P. D. Mosses and G. D. Plotkin, “On Proving Limited Completeness”, DPB, vol. 14, no. 188, Jan. 1985.