Zhang, G.Q. 1989. PB-277 Literal resolution: A Simple Proof of Resolution Completeness. DAIMI Report Series. 18, 277 (Jan. 1989). DOI:https://doi.org/10.7146/dpb.v18i277.6654.