APA Edition Citation

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

Chicago Edition Citation

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

MLA Edition Citation

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

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