Walther, C. (1987). A many-sorted calculus based on resolution and paramodulation / Christoph Walther. Pitman.
Chicago Edition CitationWalther, Christoph. A Many-sorted Calculus Based on Resolution and Paramodulation / Christoph Walther. London: Pitman, 1987.
MLA Edition CitationWalther, Christoph. A Many-sorted Calculus Based on Resolution and Paramodulation / Christoph Walther. Pitman, 1987.
Warning: These citations may not always be 100% accurate.