Mosses, Peter D., and Gordon D. Plotkin. “On Proving Limited Completeness”. DAIMI Report Series 14, no. 188 (January 1, 1985). Accessed May 9, 2024. https://tidsskrift.dk/daimipb/article/view/7461.