Automated Reasoning with Analytic Tableaux and Related Methods

MLA

Ramanayake, Revantha, and Josef Urban. Automated Reasoning with Analytic Tableaux and Related Methods. Springer Nature Switzerland, 2023.

APA

Ramanayake, R., & Urban, J. (2023). Automated Reasoning with Analytic Tableaux and Related Methods. Springer Nature Switzerland.

Chicago

Ramanayake, Revantha, and Josef Urban. Automated Reasoning with Analytic Tableaux and Related Methods. : Springer Nature Switzerland, 2023.