APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

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