Galmiche. (2013). Automated Reasoning with Analytic Tableaux and Related Methods (1.). Springer Berlin Heidelberg.
Čikaški stil citiranja (17. izdanje)Galmiche. Automated Reasoning with Analytic Tableaux and Related Methods. 1. Springer Berlin Heidelberg, 2013.
MLA način citiranja (8. izdanje)Galmiche. Automated Reasoning with Analytic Tableaux and Related Methods. 1. Springer Berlin Heidelberg, 2013.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.