APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.