APA (7th ed.) Citation

Walther, C. (1987). A many-sorted calculus based on resolution and paramodulation. Pitman.

Chicago Style (17th ed.) Citation

Walther, Christoph. A Many-sorted Calculus Based on Resolution and Paramodulation. London: Pitman, 1987.

MLA (9th ed.) Citation

Walther, Christoph. A Many-sorted Calculus Based on Resolution and Paramodulation. Pitman, 1987.

Warning: These citations may not always be 100% accurate.