APA (7th ed.) Citation

Bonacina. (2013). Automated Deduction â€" CADE-24 (1.). Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

Bonacina. Automated Deduction â€" CADE-24. 1. Springer Berlin Heidelberg, 2013.

MLA (8th ed.) Citation

Bonacina. Automated Deduction â€" CADE-24. 1. Springer Berlin Heidelberg, 2013.

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