Zhang, Guo Qiang. “PB-277 Literal Resolution: A Simple Proof of Resolution Completeness”. DAIMI Report Series 18, no. 277 (January 4, 1989). Accessed May 9, 2024. https://tidsskrift.dk/daimipb/article/view/6654.