APA način citiranja (7. izdanje)
Alessandro Armando, P. B. Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings. Springer.
Čikaški stil citiranja (17. izdanje)
Alessandro Armando, Peter Baumgartner. Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings. Berlín, Alemania: Springer.
MLA način citiranja (9. izdanje)
Alessandro Armando, Peter Baumgartner. Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings. Springer.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.