APA ציטוט

Blanchette. (2022). Automated Reasoning (1.). Springer International Publishing.

Chicago Style (17th ed.) Citation

Blanchette. Automated Reasoning. 1. Springer International Publishing, 2022.

ציטוט MLA

Blanchette. Automated Reasoning. 1. Springer International Publishing, 2022.