APA Style
Ramanayake, R., Urban, J. (2023).
Automated Reasoning with Analytic Tableaux and Related Methods .
:
Springer Cham.
MLA Style
Ramanayake, Revantha., Urban, Josef.
"Automated Reasoning with Analytic Tableaux and Related Methods".
:
Springer Cham,
2023.
Text.