APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Walther, Christoph. A Many-sorted Calculus Based on Resolution and Paramodulation. London : Los Altos, Calif.: Pitman ; Morgan Kaufmann Publishers, 1987.

MLA (8th ed.) Citation

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

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