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