APA (7th ed.) Citation

(2001). Advances in logic through automated reasoning. Kluwer.

Chicago Style (17th ed.) Citation

Advances in Logic Through Automated Reasoning. Dordrecht [u.a.]: Kluwer, 2001.

MLA (9th ed.) Citation

Advances in Logic Through Automated Reasoning. Kluwer, 2001.

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