Eisinger, N. (1988). Completeness, confluence, and related properties of clause graph resolution.
Chicago Style (17th ed.) CitationEisinger, Norbert. Completeness, Confluence, and Related Properties of Clause Graph Resolution. 1988.
MLA (9th ed.) CitationEisinger, Norbert. Completeness, Confluence, and Related Properties of Clause Graph Resolution. 1988.
Warning: These citations may not always be 100% accurate.