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