APA (7e ed.) Bronvermelding

Galmiche. (2013). Automated Reasoning with Analytic Tableaux and Related Methods (1.). Springer Berlin Heidelberg.

Chicago (17e ed.) Bronvermelding

Galmiche. Automated Reasoning with Analytic Tableaux and Related Methods. 1. Springer Berlin Heidelberg, 2013.

MLA (8e ed.) Bronvermelding

Galmiche. Automated Reasoning with Analytic Tableaux and Related Methods. 1. Springer Berlin Heidelberg, 2013.

Let op: Deze citaties zijn niet altijd 100% accuraat.