APA Style

Ramanayake, R., Urban, J. (2023). Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings (1). Zurich, Switzerland: Springer International Publishing.

MLA Style

Ramanayake, Revantha., Urban, Josef. "Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings". 1 Zurich, Switzerland: Springer International Publishing, 2023. Text.