APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

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

MLA-Zitierstil (9. Ausg.)

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