APA (7th ed.) Citation

Journal of Automated Reasoning. Springer Netherlands.

Chicago Style (17th ed.) Citation

Journal of Automated Reasoning. Springer Netherlands.

MLA (9th ed.) Citation

Journal of Automated Reasoning. Springer Netherlands.

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