APA Edition Citation

Jorg Siekmann,Graham Wrightson. Automation of reasoning2 (1.). Springer-Verlag.

Chicago Edition Citation

Jorg Siekmann,Graham Wrightson. Automation of Reasoning2. 1. Springer-Verlag.

MLA Edition Citation

Jorg Siekmann,Graham Wrightson. Automation of Reasoning2. 1. Springer-Verlag.

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