Mosses, P. D., and G. D. Plotkin. “On Proving Limited Completeness”. DAIMI Report Series, vol. 14, no. 188, Jan. 1985, doi:10.7146/dpb.v14i188.7461.