Automated Reasoning with Analytic Tableaux and Related Methods

MLA

Schmidt, and Cláudia Nalon. Automated Reasoning with Analytic Tableaux and Related Methods. Springer International Publishing, 2017.

APA

Schmidt, S., & Nalon, C. (2017). Automated Reasoning with Analytic Tableaux and Related Methods. Springer International Publishing.

Chicago

Schmidt, and Cláudia Nalon. Automated Reasoning with Analytic Tableaux and Related Methods. : Springer International Publishing, 2017.