Automated Reasoning with Analytic Tableaux and Related Methods
MLA
De Nivelle. Automated Reasoning with Analytic Tableaux and Related Methods. Springer International Publishing, 2015.
APA
De Nivelle, D. Nivelle. (2015). Automated Reasoning with Analytic Tableaux and Related Methods. Springer International Publishing.
Chicago
De Nivelle Automated Reasoning with Analytic Tableaux and Related Methods. : Springer International Publishing, 2015.
