Zhang, G. Q. “PB-277 Literal Resolution: A Simple Proof of Resolution Completeness”. DAIMI Report Series, vol. 18, no. 277, Jan. 1989, doi:10.7146/dpb.v18i277.6654.