Automated Reasoning with Analytic Tableaux and Related Methods

MLA

Cerrito, and Andrei Popescu. Automated Reasoning with Analytic Tableaux and Related Methods. Springer International Publishing, 2019.

APA

Cerrito, C., & Popescu, A. (2019). Automated Reasoning with Analytic Tableaux and Related Methods. Springer International Publishing.

Chicago

Cerrito, and Andrei Popescu. Automated Reasoning with Analytic Tableaux and Related Methods. : Springer International Publishing, 2019.