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