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